vmi_timer_ops      82 arch/x86/kernel/vmi_32.c struct vmi_timer_ops vmi_timer_ops;
vmi_timer_ops     917 arch/x86/kernel/vmi_32.c 		vmi_timer_ops.get_cycle_frequency = (void *)rel->eip;
vmi_timer_ops     918 arch/x86/kernel/vmi_32.c 		vmi_timer_ops.get_cycle_counter =
vmi_timer_ops     920 arch/x86/kernel/vmi_32.c 		vmi_timer_ops.get_wallclock =
vmi_timer_ops     922 arch/x86/kernel/vmi_32.c 		vmi_timer_ops.wallclock_updated =
vmi_timer_ops     924 arch/x86/kernel/vmi_32.c 		vmi_timer_ops.set_alarm = vmi_get_function(VMI_CALL_SetAlarm);
vmi_timer_ops     925 arch/x86/kernel/vmi_32.c 		vmi_timer_ops.cancel_alarm =
vmi_timer_ops      54 arch/x86/kernel/vmiclock_32.c 	wallclock = vmi_timer_ops.get_wallclock(); // nsec
vmi_timer_ops      69 arch/x86/kernel/vmiclock_32.c 	return cycles_2_ns(vmi_timer_ops.get_cycle_counter(VMI_CYCLES_AVAILABLE));
vmi_timer_ops      76 arch/x86/kernel/vmiclock_32.c 	khz = vmi_timer_ops.get_cycle_frequency();
vmi_timer_ops     147 arch/x86/kernel/vmiclock_32.c 		cycles_per_hz = vmi_timer_ops.get_cycle_frequency();
vmi_timer_ops     149 arch/x86/kernel/vmiclock_32.c 		now = vmi_timer_ops.get_cycle_counter(vmi_counter(VMI_PERIODIC));
vmi_timer_ops     150 arch/x86/kernel/vmiclock_32.c 		vmi_timer_ops.set_alarm(VMI_PERIODIC, now, cycles_per_hz);
vmi_timer_ops     156 arch/x86/kernel/vmiclock_32.c 			vmi_timer_ops.cancel_alarm(VMI_ONESHOT);
vmi_timer_ops     159 arch/x86/kernel/vmiclock_32.c 			vmi_timer_ops.cancel_alarm(VMI_PERIODIC);
vmi_timer_ops     178 arch/x86/kernel/vmiclock_32.c 	cycle_t now = vmi_timer_ops.get_cycle_counter(vmi_counter(VMI_ONESHOT));
vmi_timer_ops     181 arch/x86/kernel/vmiclock_32.c 	vmi_timer_ops.set_alarm(VMI_ONESHOT, now + delta, 0);
vmi_timer_ops     218 arch/x86/kernel/vmiclock_32.c 	cycles_per_msec = vmi_timer_ops.get_cycle_frequency();
vmi_timer_ops     286 arch/x86/kernel/vmiclock_32.c 	return vmi_timer_ops.get_cycle_counter(VMI_CYCLES_REAL);
vmi_timer_ops     303 arch/x86/kernel/vmiclock_32.c 	if (!vmi_timer_ops.get_cycle_frequency)
vmi_timer_ops     306 arch/x86/kernel/vmiclock_32.c 	cycles_per_msec = vmi_timer_ops.get_cycle_frequency();
vmi_timer_ops      46 include/asm-x86/vmi_time.h } vmi_timer_ops;