XCR0_X87
} else if (__predict_false((val & XCR0_X87) == 0)) {
cpudata->gxcr0 |= XCR0_X87;
#define SVM_XCR0_MASK_DEFAULT (XCR0_X87|XCR0_SSE)
} else if (__predict_false((val & XCR0_X87) == 0)) {
cpudata->gxcr0 |= XCR0_X87;
#define VMX_XCR0_MASK_DEFAULT (XCR0_X87|XCR0_SSE)