according to pinmux spreadsheets. the signal name is
I2S0_DOUT for pin# 193, it is
you may also refer to Xavier NX’s GPIO definition,
you’re correct this pin number is 446 form kernel side, which coming from
( (19 * 8) + 6) + 288 = 446.
however, you should note that there’re GPIO allocation ranges for kernel.
for example, you may found the kernel init messages to register these GPIO within the range.
[ 0.875748] gpiochip_setup_dev: registered GPIOs 288 to 511 on device: gpiochip0 (tegra-gpio)
according to Boot Flow, since you’re going to check the GPIO state in CBoot.
could you please revise the pin number as
(19 * 8) + 6 = 158, for verification.