Searched refs:VTCS_FPU_RESTORED (Results 1 – 1 of 1) sorted by relevance
98 #define VTCS_FPU_RESTORED 1 /* guest FPU restored, host FPU saved */ macro2325 if ((vtc->vtc_status & VTCS_FPU_RESTORED) != 0) { in vmm_savectx()2329 vtc->vtc_status &= ~VTCS_FPU_RESTORED; in vmm_savectx()2355 VERIFY((vtc->vtc_status & VTCS_FPU_RESTORED) == 0); in vmm_restorectx()2360 vtc->vtc_status |= VTCS_FPU_RESTORED; in vmm_restorectx()2515 if ((vcpu->vtc.vtc_status & VTCS_FPU_RESTORED) == 0) { in vm_run()2517 vcpu->vtc.vtc_status |= VTCS_FPU_RESTORED; in vm_run()