CR4_XSAVE
load_cr4(cr4 | CR4_XSAVE);
if (rcr4() & CR4_XSAVE)
load_cr4(rcr4() | CR4_XSAVE);
if (!limits->xsave_enabled || !(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) {
if (rcr4() & CR4_XSAVE)
if (rcr4() & CR4_XSAVE) {
if (vmm_host_cr4 & CR4_XSAVE) {
if (cr4 & CR4_XSAVE)
if (rcr4() & CR4_XSAVE)
load_cr4(rcr4() | CR4_XSAVE);