VTCS_FPU_CTX_CRITICAL
if ((vtc->vtc_status & VTCS_FPU_CTX_CRITICAL) != 0) {
vcpu->vtc.vtc_status |= VTCS_FPU_CTX_CRITICAL;
vcpu->vtc.vtc_status &= ~VTCS_FPU_CTX_CRITICAL;