Constant K_SYSCALL_TGPIO_PIN_CONFIG_EXT_TIMESTAMP 

pub const K_SYSCALL_TGPIO_PIN_CONFIG_EXT_TIMESTAMP: u32 = 592; // 592u32