Constant __HYPERVISOR_set_timer_op

pub const __HYPERVISOR_set_timer_op: u32 = 15;