core->vm_regs.rsp = 0x80000;
((struct rflags *)&(core->ctrl_regs.rflags))->rsvd1 = 1;
-#define GUEST_CR0 0x80010031
-#define GUEST_CR4 0x00002010
- core->ctrl_regs.cr0 = GUEST_CR0;
- core->ctrl_regs.cr4 = GUEST_CR4;
+#define GUEST_CR0_MASK 0x80010031
+#define GUEST_CR4_MASK 0x00002010
+ core->ctrl_regs.cr0 |= GUEST_CR0_MASK;
+ core->ctrl_regs.cr4 |= GUEST_CR4_MASK;
((struct cr0_32 *)&(core->shdw_pg_state.guest_cr0))->pe = 1;
((struct cr0_32 *)&(core->shdw_pg_state.guest_cr0))->wp = 1;
int i = 0;
pde32_4MB_t * pde = NULL;
- PrintError(core->vm_info, core, "Setting up internal VMXASSIST page tables\n");
+ V3_Print(core->vm_info, core, "Setting up internal VMXASSIST page tables\n");
if (v3_gpa_to_hva(core, VMXASSIST_1to1_PT, (addr_t *)(&pde)) == -1) {
PrintError(core->vm_info, core, "Could not find VMXASSIST 1to1 PT destination\n");