Constant K_SYSCALL_TGPIO_PORT_GET_CYCLES_PER_SECOND 

pub const K_SYSCALL_TGPIO_PORT_GET_CYCLES_PER_SECOND: u32 = 594;