Function islet_rmm::realm::timer::init_timer

source · 
pub fn init_timer(vcpu: &mut VCPU)