vmi_counter       149 arch/x86/kernel/vmiclock_32.c 		now = vmi_timer_ops.get_cycle_counter(vmi_counter(VMI_PERIODIC));
vmi_counter       178 arch/x86/kernel/vmiclock_32.c 	cycle_t now = vmi_timer_ops.get_cycle_counter(vmi_counter(VMI_ONESHOT));