Constant K_SYSCALL_TGPIO_PORT_GET_CYCLES_PER_SECOND

pub const K_SYSCALL_TGPIO_PORT_GET_CYCLES_PER_SECOND: u32 = 527;