Symbol: pvclock_resume
sys/dev/kvm_clock/kvm_clock.c
229
pvclock_resume();
sys/dev/xen/timer/xen_timer.c
482
pvclock_resume();
sys/x86/include/pvclock.h
132
void pvclock_resume(void);