Constant K_SYSCALL_TGPIO_PIN_CONFIG_EXT_TIMESTAMP 

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