real->protected mode switch should work now

[palacios.git] / palacios / include / geekos / vmm_shadow_paging.h

diff --git a/palacios/include/geekos/vmm_shadow_paging.h b/palacios/include/geekos/vmm_shadow_paging.h
index e84f72f..1817800 100644 (file)
--- a/palacios/include/geekos/vmm_shadow_paging.h
+++ b/palacios/include/geekos/vmm_shadow_paging.h
@@ -16,7 +16,7 @@ struct shadow_page_state {
   paging_mode_t           guest_mode;
   reg_ex_t                guest_cr3;         // points to guest's current page table
 
-  // Should thi sbe here
+  // Should this be here??
   reg_ex_t                guest_cr0;
 
   // these two reflect the top-level page directory