X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmcb.c;h=88538a3684ec048612455dcf7b50210058b87933;hb=c7e3f043b6458083162e23e1a8adb7703fd06559;hp=cfaa2b3be5350dc10c7af3834bbb052c1a2ae71b;hpb=04fc4c8fbac29e04f0d0817a2906687c2c972559;p=palacios.releases.git

diff --git a/palacios/src/geekos/vmcb.c b/palacios/src/geekos/vmcb.c
index cfaa2b3..88538a3 100644
--- a/palacios/src/geekos/vmcb.c
+++ b/palacios/src/geekos/vmcb.c
@@ -64,8 +64,8 @@ void PrintDebugVMCB(vmcb_t * vmcb) {
   PrintDebug("\tINVD: %d\n", ctrl_area->instrs.instrs.INVD);
   PrintDebug("\tPAUSE: %d\n", ctrl_area->instrs.instrs.PAUSE);
   PrintDebug("\tHLT: %d\n", ctrl_area->instrs.instrs.HLT);
-  PrintDebug("\tINVPLG: %d\n", ctrl_area->instrs.instrs.INVPLG);
-  PrintDebug("\tINVPLGA: %d\n", ctrl_area->instrs.instrs.INVPLGA);
+  PrintDebug("\tINVLPG: %d\n", ctrl_area->instrs.instrs.INVLPG);
+  PrintDebug("\tINVLPGA: %d\n", ctrl_area->instrs.instrs.INVLPGA);
   PrintDebug("\tIOIO_PROT: %d\n", ctrl_area->instrs.instrs.IOIO_PROT);
   PrintDebug("\tMSR_PROT: %d\n", ctrl_area->instrs.instrs.MSR_PROT);
   PrintDebug("\ttask_switch: %d\n", ctrl_area->instrs.instrs.task_switch);