Constant K_SYSCALL_TGPIO_PIN_READ_TS_EC

pub const K_SYSCALL_TGPIO_PIN_READ_TS_EC: u32 = 526;