Function sel4_common::sbi::get_time

source · 
pub fn get_time() -> usize