Symbol: VTCS_FPU_RESTORED
usr/src/uts/intel/io/vmm/vmm.c
2368
if ((vtc->vtc_status & VTCS_FPU_RESTORED) != 0) {
usr/src/uts/intel/io/vmm/vmm.c
2372
vtc->vtc_status &= ~VTCS_FPU_RESTORED;
usr/src/uts/intel/io/vmm/vmm.c
2398
VERIFY((vtc->vtc_status & VTCS_FPU_RESTORED) == 0);
usr/src/uts/intel/io/vmm/vmm.c
2403
vtc->vtc_status |= VTCS_FPU_RESTORED;
usr/src/uts/intel/io/vmm/vmm.c
2558
if ((vcpu->vtc.vtc_status & VTCS_FPU_RESTORED) == 0) {
usr/src/uts/intel/io/vmm/vmm.c
2560
vcpu->vtc.vtc_status |= VTCS_FPU_RESTORED;