Symbol: xpv_time_resume
usr/src/uts/i86xpv/os/xen_machdep.c
557
xpv_time_resume();
usr/src/uts/intel/sys/hypervisor.h
107
extern void xpv_time_resume(void);