Symbol: vmm_savectx
usr/src/uts/intel/io/vmm/vmm.c
2639
vmm_savectx(&vcpu->vtc);
usr/src/uts/intel/io/vmm/vmm.c
334
static void vmm_savectx(void *);
usr/src/uts/intel/io/vmm/vmm.c
338
.ct_save = vmm_savectx,