Symbol: vmm_restorectx
usr/src/uts/intel/io/vmm/vmm.c
335
static void vmm_restorectx(void *);
usr/src/uts/intel/io/vmm/vmm.c
339
.ct_restore = vmm_restorectx,