pub fn get_system_tick_frequency() -> u64