get_kernel_timer

kernel::timer

Function get_kernel_timer 

Source 
pub fn get_kernel_timer() -> &'static KernelTimer