Constant K_SYSCALL_TGPIO_PIN_CONFIG_EXT_TIMESTAMP

pub const K_SYSCALL_TGPIO_PIN_CONFIG_EXT_TIMESTAMP: u32 = 523;