VMI_ONESHOT       156 arch/x86/kernel/vmiclock_32.c 			vmi_timer_ops.cancel_alarm(VMI_ONESHOT);
VMI_ONESHOT       178 arch/x86/kernel/vmiclock_32.c 	cycle_t now = vmi_timer_ops.get_cycle_counter(vmi_counter(VMI_ONESHOT));
VMI_ONESHOT       181 arch/x86/kernel/vmiclock_32.c 	vmi_timer_ops.set_alarm(VMI_ONESHOT, now + delta, 0);