Constant K_SYSCALL_TGPIO_PIN_READ_TS_EC 

pub const K_SYSCALL_TGPIO_PIN_READ_TS_EC: u32 = 593;