Function cmsis_rtos2::rtos_kernel_get_sys_timer_freq_hz

pub fn rtos_kernel_get_sys_timer_freq_hz() -> u32