Constant K_SYSCALL_TGPIO_PORT_GET_TIME 

pub const K_SYSCALL_TGPIO_PORT_GET_TIME: u32 = 595;