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