Symbol: mach_cpucontext_reset
usr/src/uts/i86xpv/os/xen_machdep.c
385
mach_cpucontext_reset(cpu[i]);
usr/src/uts/intel/sys/hypervisor.h
112
extern void mach_cpucontext_reset(cpu_t *);