VMCS_GUEST_IA32_CR0
if (vmread(VMCS_GUEST_IA32_CR0, &crs[VCPU_REGS_CR0]))
if (vmwrite(VMCS_GUEST_IA32_CR0, crs[VCPU_REGS_CR0]))
if (vmread(VMCS_GUEST_IA32_CR0, &cr0)) {
if (vmread(VMCS_GUEST_IA32_CR0, &cr0))
if (vmread(VMCS_GUEST_IA32_CR0, &oldcr0)) {
if (vmwrite(VMCS_GUEST_IA32_CR0, r)) {
vmx_dump_vmcs_field(VMCS_GUEST_IA32_CR0, "G. CR0");
if (vmread(VMCS_GUEST_IA32_CR0, &r))