-#include <geekos/vmx.h>
-#include <geekos/vmcs.h>
-#include <geekos/mem.h>
-#include <geekos/serial.h>
-#include <geekos/segment.h>
-#include <geekos/gdt.h>
-#include <geekos/idt.h>
-
+/* Eventually we want to get rid of these */
#include <geekos/cpu.h>
#include <geekos/io_devs.h>
+/* ** */
+#include <geekos/vmx.h>
+#include <geekos/vmcs.h>
+#include <geekos/vmm.h>
+#include <geekos/vmm_util.h>
+#include <geekos/string.h>
+#include <geekos/io.h>
extern void Get_MSR(unsigned int msr, uint_t * high, uint_t * low);
extern void Set_MSR(unsigned int msr, uint_t high, uint_t low);
#define ROMBIOS_DEBUG_PORT 0x403
+extern struct vmm_os_hooks * os_hooks;
+
static struct VM theVM;
myregs = (uint_t)&(vm->registers);
- SerialPrintLevel(1000,"About the execute faulting instruction!\n");
- SerialPrintLevel(1000,"Instruction is:\n");
- SerialMemDump((void*)(address),vm->vmcs.exitInfoFields.instrLength);
+ PrintTrace("About the execute faulting instruction!\n");
+ PrintTrace("Instruction is:\n");
+ PrintTraceMemDump((void*)(address),vm->vmcs.exitInfoFields.instrLength);
- SerialPrintLevel(1000,"The template code is:\n");
- SerialMemDump(&&template_code,TEMPLATE_CODE_LEN);
+ PrintTrace("The template code is:\n");
+ PrintTraceMemDump(&&template_code,TEMPLATE_CODE_LEN);
// clone the template code
//memcpy(&&template_code,code,MAX_CODE);
// overwrite the nops with the faulting instruction
memcpy(&&template_code+INSTR_OFFSET_START, (void*)(address),vm->vmcs.exitInfoFields.instrLength);
- SerialPrintLevel(1000,"Finished modifying the template code, which now is:\n");
- SerialMemDump(&&template_code,TEMPLATE_CODE_LEN);
+ PrintTrace("Finished modifying the template code, which now is:\n");
+ PrintTraceMemDump(&&template_code,TEMPLATE_CODE_LEN);
- SerialPrintLevel(1000,"Now entering modified template code\n");
+ PrintTrace("Now entering modified template code\n");
template_code:
: "m"(myregs)
);
- SerialPrintLevel(1000,"Survived executing the faulting instruction and returning.\n");
+ PrintTrace("Survived executing the faulting instruction and returning.\n");
vm->vmcs.guestStateArea.rip += vm->vmcs.exitInfoFields.instrLength;
}
-VmxOnRegion * InitVMX() {
- VmxOnRegion * region = NULL;
-
- unsigned int ret;
+int is_vmx_capable() {
+ uint_t ret;
union VMX_MSR featureMSR;
ret = cpuid_ecx(1);
if (ret & CPUID_1_ECX_VTXFLAG) {
Get_MSR(IA32_FEATURE_CONTROL_MSR, &featureMSR.regs.high, &featureMSR.regs.low);
- SerialPrintLevel(100,"MSRREGlow: 0x%.8x\n", featureMSR.regs.low);
+ PrintTrace("MSRREGlow: 0x%.8x\n", featureMSR.regs.low);
+
if ((featureMSR.regs.low & FEATURE_CONTROL_VALID) != FEATURE_CONTROL_VALID) {
- PrintBoth("VMX is locked -- enable in the BIOS\n");
- return NULL;
+ PrintDebug("VMX is locked -- enable in the BIOS\n");
+ return 0;
}
} else {
- PrintBoth("VMX not supported on this cpu\n");
- return NULL;
+ PrintDebug("VMX not supported on this cpu\n");
+ return 0;
}
+ return 1;
+
+}
+
+
+VmxOnRegion * Init_VMX() {
+ uint_t ret;
+ VmxOnRegion * region = NULL;
+
+
region = CreateVmxOnRegion();
ret = Enable_VMX((ullong_t)((uint_t)region));
if (ret == 0) {
- PrintBoth("VMX Enabled\n");
+ PrintDebug("VMX Enabled\n");
} else {
- PrintBoth("VMX failure (ret = %d)\n", ret);
+ PrintDebug("VMX failure (ret = %d)\n", ret);
}
theVM.vmxonregion = region;
uint_t reserved =0;
union VMX_MSR msr;
- SerialPrintLevel(100,"SetCtrlBitsCorrectly(%x,%x)\n",msrno,vmcsno);
+ PrintTrace("SetCtrlBitsCorrectly(%x,%x)\n", msrno, vmcsno);
Get_MSR(msrno, &msr.regs.high, &msr.regs.low);
- SerialPrintLevel(100,"MSR %x = %x : %x \n", msrno, msr.regs.high, msr.regs.low);
+ PrintTrace("MSR %x = %x : %x \n", msrno, msr.regs.high, msr.regs.low);
reserved = msr.regs.low;
reserved &= msr.regs.high;
VMCS_WRITE(vmcsno, &reserved);
uint_t reserved =0;
union VMX_MSR msr0, msr1;
- SerialPrintLevel(100,"SetCRBitsCorrectly(%x,%x,%x)\n",msr0no,msr1no,vmcsno);
+ PrintTrace("SetCRBitsCorrectly(%x,%x,%x)\n",msr0no,msr1no,vmcsno);
Get_MSR(msr0no, &msr0.regs.high, &msr0.regs.low);
Get_MSR(msr1no, &msr1.regs.high, &msr1.regs.low);
- SerialPrintLevel(100,"MSR %x = %x, %x = %x \n", msr0no, msr0.regs.low, msr1no, msr1.regs.low);
+ PrintTrace("MSR %x = %x, %x = %x \n", msr0no, msr0.regs.low, msr1no, msr1.regs.low);
reserved = msr0.regs.low;
reserved &= msr1.regs.low;
VMCS_WRITE(vmcsno, &reserved);
static int PanicUnhandledVMExit(struct VM *vm)
{
- Print("Panicking due to VMExit with reason %u\n",vm->vmcs.exitInfoFields.reason);
- SerialPrint("Panicking due to VMExit with reason %u\n",vm->vmcs.exitInfoFields.reason);
- SerialPrint_VMCS_ALL();
- SerialPrint_VMX_Regs(&(vm->registers));
+ PrintInfo("Panicking due to VMExit with reason %u\n", vm->vmcs.exitInfoFields.reason);
+ PrintTrace("Panicking due to VMExit with reason %u\n", vm->vmcs.exitInfoFields.reason);
+ PrintTrace_VMCS_ALL();
+ PrintTrace_VMX_Regs(&(vm->registers));
VMXPanic();
return 0;
}
vm->state == VM_VMXASSIST_V8086_BIOS ||
vm->state == VM_VMXASSIST_V8086)) {
// Communication channel from VMXAssist
- SerialPrintLevel(1000,"VMXASSIST Output Port\n");
- PrintBoth("%c",data&0xff);
+ PrintTrace("VMXASSIST Output Port\n");
+ PrintDebug("%c",data&0xff);
return 1;
}
port==ROMBIOS_INFO_PORT) &&
(vm->state==VM_VMXASSIST_V8086_BIOS)) {
// rombios is communicating
- SerialPrintLevel(1000,"ROMBIOS Output Port\n");
- // PrintBoth("%c",data&0xff);
+ PrintTrace("ROMBIOS Output Port\n");
+ // PrintDebug("%c",data&0xff);
return 1;
}
if (port==BOOT_STATE_CARD_PORT && vm->state==VM_VMXASSIST_V8086_BIOS) {
// rombios is sending something to the display card
- SerialPrintLevel(1000,"Hex Display: 0x%x\n",data&0xff);
+ PrintTrace("Hex Display: 0x%x\n",data&0xff);
return 1;
}
return 0;
address=GetLinearIP(vm);
- SerialPrintLevel(1000,"Handling Input/Output Instruction Exit\n");
- if (SERIAL_PRINT_DEBUG && 1000>=SERIAL_PRINT_DEBUG_LEVEL) {
- SerialPrint_VMX_Regs(regs);
- }
- SerialPrintLevel(1000,"Qualifications=0x%x\n",exitinfo->qualification);
- SerialPrintLevel(1000,"Reason=0x%x\n",exitinfo->reason);
- SerialPrintLevel(1000,"IO Port: 0x%x (%d)\n", qual->port, qual->port);
- SerialPrintLevel(1000,"Instruction Info=%x\n",exitinfo->instrInfo);
- SerialPrintLevel(1000,"%x : %s %s %s instruction of length %d for %d bytes from/to port 0x%x\n",
+ PrintTrace("Handling Input/Output Instruction Exit\n");
+
+ PrintTrace_VMX_Regs(regs);
+
+ PrintTrace("Qualifications=0x%x\n", exitinfo->qualification);
+ PrintTrace("Reason=0x%x\n", exitinfo->reason);
+ PrintTrace("IO Port: 0x%x (%d)\n", qual->port, qual->port);
+ PrintTrace("Instruction Info=%x\n", exitinfo->instrInfo);
+ PrintTrace("%x : %s %s %s instruction of length %d for %d bytes from/to port 0x%x\n",
address,
qual->dir == 0 ? "output" : "input",
qual->string ==0 ? "nonstring" : "STRING",
qual->accessSize==0 ? 1 : qual->accessSize==1 ? 2 : 4,
qual->port);
- if (qual->port==PIC_MASTER_CMD_ISR_PORT ||
- qual->port==PIC_MASTER_IMR_PORT ||
- qual->port==PIC_SLAVE_CMD_ISR_PORT ||
- qual->port==PIC_SLAVE_IMR_PORT) {
- SerialPrintLevel(1000, "PIC Access\n");
+ if ((qual->port == PIC_MASTER_CMD_ISR_PORT) ||
+ (qual->port == PIC_MASTER_IMR_PORT) ||
+ (qual->port == PIC_SLAVE_CMD_ISR_PORT) ||
+ (qual->port == PIC_SLAVE_IMR_PORT)) {
+ PrintTrace( "PIC Access\n");
}
- if (qual->dir==1 && qual->REP==0 && qual->string==0) {
+ if ((qual->dir == 1) && (qual->REP == 0) && (qual->string == 0)) {
char byte = In_Byte(qual->port);
vm->vmcs.guestStateArea.rip += exitinfo->instrLength;
regs->eax = (regs->eax & 0xffffff00) | byte;
- SerialPrintLevel(1000,"Returning 0x%x in eax\n",(regs->eax));
+ PrintTrace("Returning 0x%x in eax\n", (regs->eax));
}
if (qual->dir==0 && qual->REP==0 && qual->string==0) {
} else {
// If not, just go ahead and do the outb
Out_Byte(qual->port,regs->eax);
- SerialPrintLevel(1000,"Wrote 0x%x to port\n",(regs->eax));
+ PrintTrace("Wrote 0x%x to port\n",(regs->eax));
}
vm->vmcs.guestStateArea.rip += exitinfo->instrLength;
}
struct VMCSExitInfoFields * exitinfo = &(vm->vmcs.exitInfoFields);
struct VMExitIntInfo * intInfo = (struct VMExitIntInfo *)&(vm->vmcs.exitInfoFields.intInfo);
- SerialPrintLevel(1000,"External Interrupt captured\n");
- SerialPrintLevel(100,"IntInfo: %x\n", exitinfo->intInfo);
+ PrintTrace("External Interrupt captured\n");
+ PrintTrace("IntInfo: %x\n", exitinfo->intInfo);
if (!intInfo->valid) {
// interrupts are off, but this interrupt is not acknoledged (still pending)
// so we turn on interrupts to deliver appropriately in the
// host
- SerialPrintLevel(100,"External Interrupt is invald. Turning Interrupts back on\n");
+ PrintTrace("External Interrupt is invald. Turning Interrupts back on\n");
asm("sti");
return 0;
}
// acknowledged. We will now handle the interrupt ourselves
// and turn interrupts back on in the host
- SerialPrintLevel(100,"type: %d\n", intInfo->type);
- SerialPrintLevel(100,"number: %d\n", intInfo->nr);
+ PrintTrace("type: %d\n", intInfo->type);
+ PrintTrace("number: %d\n", intInfo->nr);
- SerialPrint("Interrupt %d occuring now and handled by HandleExternalIRQExit\n",intInfo->nr);
+ PrintTrace("Interrupt %d occuring now and handled by HandleExternalIRQExit\n",intInfo->nr);
switch (intInfo->type) {
case 0: { // ext. IRQ
((char*)(&&ext_int_seq_start))[1] = intInfo->nr;
- SerialPrintLevel(100,"Interrupt instruction setup done %x\n", *((ushort_t *)(&&ext_int_seq_start)));
+ PrintTrace("Interrupt instruction setup done %x\n", *((ushort_t *)(&&ext_int_seq_start)));
ext_int_seq_start:
asm("int $0");
break;
case 2: // NMI
- SerialPrintLevel(100,"Type: NMI\n");
+ PrintTrace("Type: NMI\n");
break;
case 3: // hw exception
- SerialPrintLevel(100,"Type: HW Exception\n");
+ PrintTrace("Type: HW Exception\n");
break;
case 4: // sw exception
- SerialPrintLevel(100,"Type: SW Exception\n");
+ PrintTrace("Type: SW Exception\n");
break;
default:
- SerialPrintLevel(100,"Invalid Interrupt Type\n");
+ PrintTrace("Invalid Interrupt Type\n");
return -1;
}
if (intInfo->valid && intInfo->errorCode) {
- SerialPrintLevel(100,"IntError: %x\n", exitinfo->intErrorCode);
+ PrintTrace("IntError: %x\n", exitinfo->intErrorCode);
}
- SerialPrintLevel(100,"DecodeCurrentInstruction: instruction is\n");
- SerialMemDump(t,length);
+ PrintTrace("DecodeCurrentInstruction: instruction is\n");
+ PrintTraceMemDump(t,length);
if (length==3 && t[0]==0x0f && t[1]==0x22 && t[2]==0xc0) {
// mov from eax to cr0
inst->input1=vm->registers.eax;
inst->input2=vm->vmcs.guestStateArea.cr0;
inst->output=vm->registers.eax;
- SerialPrintLevel(100,"MOV FROM EAX TO CR0\n");
+ PrintTrace("MOV FROM EAX TO CR0\n");
} else {
inst->type=VM_UNKNOWN_INST;
}
V8086ModeSegmentRegisterFixup(vm);
- SerialPrint_VMCSData(&(vm->vmcs));
+ PrintTrace_VMCSData(&(vm->vmcs));
}
uint_t ti=0;
uint_t selectorindex=0;
- SerialPrintLevel(1000,"Exception or NMI occurred\n");
+ PrintTrace("Exception or NMI occurred\n");
num=vm->vmcs.exitInfoFields.intInfo & 0xff;
type=(vm->vmcs.exitInfoFields.intInfo & 0x700)>>8;
selectorindex=(error>>3)&0xffff;
}
- SerialPrint("Exception %d now - handled by HandleExceptionOrNMI\n",num);
+ PrintTrace("Exception %d now - handled by HandleExceptionOrNMI\n",num);
- SerialPrintLevel(1000,"Exception Number %u : %s\n", num, exception_names[num]);
- SerialPrintLevel(1000,"Exception Type %u : %s\n", type, exception_type_names[type]);
+ PrintTrace("Exception Number %u : %s\n", num, exception_names[num]);
+ PrintTrace("Exception Type %u : %s\n", type, exception_type_names[type]);
if (errorvalid) {
if (ext) {
- SerialPrintLevel(1000,"External\n");
+ PrintTrace("External\n");
} else {
- SerialPrintLevel(1000,"%s - Selector Index is %u\n", idt ? "IDT" : ti ? "LDT" : "GDT", selectorindex);
+ PrintTrace("%s - Selector Index is %u\n", idt ? "IDT" : ti ? "LDT" : "GDT", selectorindex);
}
}
DecodeCurrentInstruction(vm,&inst);
if (inst.type==VM_MOV_TO_CR0) {
- SerialPrintLevel(1000,"MOV TO CR0, oldvalue=0x%x, newvalue=0x%x\n",inst.input2, inst.input1);
+ PrintTrace("MOV TO CR0, oldvalue=0x%x, newvalue=0x%x\n",inst.input2, inst.input1);
if ((inst.input2 & CR0_PE) && !(inst.input1 & CR0_PE) && vm->state==VM_VMXASSIST_STARTUP) {
// This is VMXAssist signalling for us to turn on V8086 mode and
// jump into the bios
- SerialPrintLevel(1000,"VMXAssist is signaling us for switch to V8086 mode and jump to 0xf000:fff0\n");
+ PrintTrace("VMXAssist is signaling us for switch to V8086 mode and jump to 0xf000:fff0\n");
SetupV8086ModeForBoot(vm);
goto leave;
} else {
- SerialPrintLevel(1000,"Instruction is a write to CR0, but we don't understand it so we'll just exec it\n");
+ PrintTrace("Instruction is a write to CR0, but we don't understand it so we'll just exec it\n");
}
}
- SerialPrintLevel(1000,"Trying to execute the faulting instruction in VMM context now\n");
+ PrintTrace("Trying to execute the faulting instruction in VMM context now\n");
ExecFaultingInstructionInVMM(vm);
leave:
- SerialPrintLevel(100,"Vm Exit\n");
+ PrintTrace("Vm Exit\n");
ret = VMCS_STORE(&vmcs_ptr);
vmcs_ptr &= 0xffffffff;
vmcs_ptr_low += vmcs_ptr;
- SerialPrintLevel(100,"ret=%d\n", ret);
- SerialPrintLevel(100,"Revision: %x\n", *(uint_t *)(vmcs_ptr_low));
+
+
+ PrintTrace("ret=%d\n", ret);
+ PrintTrace("Revision: %x\n", *(uint_t *)(vmcs_ptr_low));
vmx_abort = *(uint_t*)(((char *)vmcs_ptr_low)+4);
struct VM *vm = FindVM();
if (vmx_abort != 0) {
- SerialPrintLevel(1000,"VM ABORTED w/ code: %x\n", vmx_abort);
+ PrintTrace("VM ABORTED w/ code: %x\n", vmx_abort);
return -1;
}
vm->registers = regs;
if (CopyOutVMCSData(&(vm->vmcs)) != 0) {
- SerialPrintLevel(1000,"Could not copy out VMCS\n");
+ PrintTrace("Could not copy out VMCS\n");
return -1;
}
- SerialPrintLevel(100,"VM Exit for reason: %d (%x)\n",
+
+ PrintTrace("Guest esp: 0x%x (%u)\n", vm->vmcs.guestStateArea.rsp, vm->vmcs.guestStateArea.rsp);
+
+ PrintTrace("VM Exit for reason: %d (%x)\n",
vm->vmcs.exitInfoFields.reason & 0x00000fff,
vm->vmcs.exitInfoFields.reason);
if (vm->vmcs.exitInfoFields.reason & (0x1<<29) ) {
- SerialPrintLevel(1000,"VM Exit is from VMX root operation. Panicking\n");
+ PrintTrace("VM Exit is from VMX root operation. Panicking\n");
VMXPanic();
}
if (vm->vmcs.exitInfoFields.reason & (0x1<<31) ) {
- SerialPrintLevel(1000,"VM Exit is due to a VM entry failure. Shouldn't happen here. Panicking\n");
- SerialPrint_VMCSData(&(vm->vmcs));
+ PrintTrace("VM Exit is due to a VM entry failure. Shouldn't happen here. Panicking\n");
+ PrintTrace_VMCSData(&(vm->vmcs));
VMXPanic();
}
}
*/
- SerialPrintLevel(100,"Returning from Do_VMM: %d\n", ret);
+ PrintTrace("Returning from Do_VMM: %d\n", ret);
return ret;
}
int ret;
int vmm_ret = 0;
+ PrintTrace("Guest ESP: 0x%x (%u)\n", guest_esp, guest_esp);
+
exit_eip=(uint_t)RunVMM;
- SerialPrintLevel(100,"Clear\n");
+ PrintTrace("Clear\n");
VMCS_CLEAR(vmcs);
- SerialPrintLevel(100,"Load\n");
+ PrintTrace("Load\n");
VMCS_LOAD(vmcs);
- SerialPrintLevel(100,"VMCS_LINK_PTR\n");
+ PrintTrace("VMCS_LINK_PTR\n");
VMCS_WRITE(VMCS_LINK_PTR, &f);
- SerialPrintLevel(100,"VMCS_LINK_PTR_HIGH\n");
+ PrintTrace("VMCS_LINK_PTR_HIGH\n");
VMCS_WRITE(VMCS_LINK_PTR_HIGH, &f);
/* Host state */
- SerialPrintLevel(100,"Setting up host state\n");
+ PrintTrace("Setting up host state\n");
SetCRBitsCorrectly(IA32_VMX_CR0_FIXED0_MSR, IA32_VMX_CR0_FIXED1_MSR, HOST_CR0);
SetCRBitsCorrectly(IA32_VMX_CR4_FIXED0_MSR, IA32_VMX_CR4_FIXED1_MSR, HOST_CR4);
ret = Init_VMCS_HostState();
if (ret != VMX_SUCCESS) {
if (ret == VMX_FAIL_VALID) {
- SerialPrintLevel(100,"Init Host state: VMCS FAILED WITH ERROR\n");
+ PrintTrace("Init Host state: VMCS FAILED WITH ERROR\n");
} else {
- SerialPrintLevel(100,"Init Host state: Invalid VMCS\n");
+ PrintTrace("Init Host state: Invalid VMCS\n");
}
return ret;
}
- // SerialPrintLevel(100,"HOST_RIP: %x (%u)\n", exit_eip, exit_eip);
+ // PrintTrace("HOST_RIP: %x (%u)\n", exit_eip, exit_eip);
VMCS_WRITE(HOST_RIP, &exit_eip);
/* Guest state */
- SerialPrintLevel(100,"Setting up guest state\n");
- SerialPrintLevel(100,"GUEST_RIP: %x (%u)\n", entry_eip, entry_eip);
+ PrintTrace("Setting up guest state\n");
+ PrintTrace("GUEST_RIP: %x (%u)\n", entry_eip, entry_eip);
VMCS_WRITE(GUEST_RIP,&entry_eip);
SetCRBitsCorrectly(IA32_VMX_CR0_FIXED0_MSR, IA32_VMX_CR0_FIXED1_MSR, GUEST_CR0);
SetCRBitsCorrectly(IA32_VMX_CR4_FIXED0_MSR, IA32_VMX_CR4_FIXED1_MSR, GUEST_CR4);
ret = Init_VMCS_GuestState();
- SerialPrintLevel(100,"InitGuestState returned\n");
+ PrintTrace("InitGuestState returned\n");
if (ret != VMX_SUCCESS) {
if (ret == VMX_FAIL_VALID) {
- SerialPrintLevel(100,"Init Guest state: VMCS FAILED WITH ERROR\n");
+ PrintTrace("Init Guest state: VMCS FAILED WITH ERROR\n");
} else {
- SerialPrintLevel(100,"Init Guest state: Invalid VMCS\n");
+ PrintTrace("Init Guest state: Invalid VMCS\n");
}
return ret;
}
- SerialPrintLevel(100,"GUEST_RSP: %x (%u)\n", guest_esp, (uint_t)guest_esp);
+ PrintTrace("GUEST_RSP: %x (%u)\n", guest_esp, (uint_t)guest_esp);
VMCS_WRITE(GUEST_RSP,&guest_esp);
// tmpReg = 0x4100;
tmpReg = 0xffffffff;
if (VMCS_WRITE(EXCEPTION_BITMAP,&tmpReg ) != VMX_SUCCESS) {
- Print("Bitmap error\n");
+ PrintInfo("Bitmap error\n");
}
ConfigureExits(vm);
- SerialPrintLevel(100,"VMCS_LAUNCH\n");
+ PrintTrace("VMCS_LAUNCH\n");
vm->state=VM_VMXASSIST_STARTUP;
vmm_ret = SAFE_VM_LAUNCH();
- SerialPrintLevel(100,"VMM error %d\n", vmm_ret);
+ PrintTrace("VMM error %d\n", vmm_ret);
return vmm_ret;
}
theVM.vmcsregion = vmcs;
theVM.descriptor = *vm;
- SerialPrintLevel(100,"vmcs_ptr_top=%x vmcs_ptr_bottom=%x, eip=%x\n", top, bottom, vm->entry_ip);
+ PrintTrace("vmcs_ptr_top=%x vmcs_ptr_bottom=%x, eip=%x\n", top, bottom, vm->entry_ip);
rc=MyLaunch(&theVM); // vmcs_ptr, vm->entry_ip, vm->exit_eip, vm->guest_esp);
- SerialPrintLevel(100,"Returned from MyLaunch();\n");
+ PrintTrace("Returned from MyLaunch();\n");
return rc;
}
VmxOnRegion * CreateVmxOnRegion() {
union VMX_MSR basicMSR;
- VmxOnRegion * region = (VmxOnRegion *)Alloc_Page();
+ VmxOnRegion * region = (VmxOnRegion *)(os_hooks)->allocate_pages(1);
Get_MSR(IA32_VMX_BASIC_MSR, &basicMSR.regs.high, &basicMSR.regs.low);
// memcpy(region, &basicMSR.vmxBasic.revision, sizeof(uint_t));
*(ulong_t*)region = basicMSR.vmxBasic.revision;
- Print("VMX revision: 0x%lu\n", *(ulong_t *)region);
+ PrintInfo("VMX revision: 0x%lu\n", *(ulong_t *)region);
return region;
}
VMCS * CreateVMCS() {
union VMX_MSR basicMSR;
- VMCS * vmcs = (VMCS *)Alloc_Page();
+ VMCS * vmcs = (VMCS *)(os_hooks)->allocate_pages(1);
Get_MSR(IA32_VMX_BASIC_MSR, &basicMSR.regs.high, &basicMSR.regs.low);
*(ulong_t *)vmcs = basicMSR.vmxBasic.revision;
*(ulong_t *)((char*)vmcs + 4) = 0;
- SerialPrintLevel(100,"VMCS Region size: %u\n", basicMSR.vmxBasic.regionSize);
- SerialPrintLevel(100,"VMCS Abort: %x\n",*(uint_t *)(((char*)vmcs)+4));
+ PrintTrace("VMCS Region size: %u\n", basicMSR.vmxBasic.regionSize);
+ PrintTrace("VMCS Abort: %x\n",*(uint_t *)(((char*)vmcs)+4));
return vmcs;
}
-
-