VCPU_REGS_CR0
.vrs_crs[VCPU_REGS_CR0] = 0x60000010,
if (vmread(VMCS_GUEST_IA32_CR0, &crs[VCPU_REGS_CR0]))
crs[VCPU_REGS_CR0] = vmcb->v_cr0;
if (vmwrite(VMCS_GUEST_IA32_CR0, crs[VCPU_REGS_CR0]))
vmcb->v_cr0 = crs[VCPU_REGS_CR0];
cr0 = vrs->vrs_crs[VCPU_REGS_CR0];
vrs->vrs_crs[VCPU_REGS_CR0] = cr0;
vrs.vrs_crs[VCPU_REGS_CR0], vrs.vrs_crs[VCPU_REGS_CR3]);
if (!(vrs.vrs_crs[VCPU_REGS_CR0] & CR0_PG)) {
if (vrs.vrs_crs[VCPU_REGS_CR0] & CR0_PE) {
vrs->vrs_crs[VCPU_REGS_CR0] = CR0_ET | CR0_PE;
cr0 = vrs->vrs_crs[VCPU_REGS_CR0];
if (!(vrs->vrs_crs[VCPU_REGS_CR0] & CR0_PG)) {
vrs->vrs_crs[VCPU_REGS_CR0], vrs->vrs_crs[VCPU_REGS_CR3]);
if (vrs->vrs_crs[VCPU_REGS_CR0] & CR0_PE) {
.vrs_crs[VCPU_REGS_CR0] = 0x60000010,
.vrs_crs[VCPU_REGS_CR0] = CR0_ET | CR0_PE | CR0_PG,