CR4_XSAVE
!(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) {
if (rcr4() & CR4_XSAVE)
if (rcr4() & CR4_XSAVE) {
if ((cr4 & CR4_XSAVE) != 0) {
if (vmm_host_cr4 & CR4_XSAVE) {