Searched refs:VTCS_FPU_RESTORED (Results 1 – 1 of 1) sorted by relevance
95 #define VTCS_FPU_RESTORED 1 /* guest FPU restored, host FPU saved */ macro2327 if ((vtc->vtc_status & VTCS_FPU_RESTORED) != 0) { in vmm_savectx()2331 vtc->vtc_status &= ~VTCS_FPU_RESTORED; in vmm_savectx()2357 VERIFY((vtc->vtc_status & VTCS_FPU_RESTORED) == 0); in vmm_restorectx()2362 vtc->vtc_status |= VTCS_FPU_RESTORED; in vmm_restorectx()2517 if ((vcpu->vtc.vtc_status & VTCS_FPU_RESTORED) == 0) { in vm_run()2519 vcpu->vtc.vtc_status |= VTCS_FPU_RESTORED; in vm_run()