got the bios setup ok, now we have to handle the exits

[palacios.git] / palacios / include / palacios / vmm_paging.h

diff --git a/palacios/include/palacios/vmm_paging.h b/palacios/include/palacios/vmm_paging.h
index 1217513..9a6d213 100644 (file)
--- a/palacios/include/palacios/vmm_paging.h
+++ b/palacios/include/palacios/vmm_paging.h
@@ -95,6 +95,7 @@ the host state in the vmcs before entering the guest.
 #endif
 #define PAGE_OFFSET(x)  ((((uint_t)x) & 0xfff))
 
+
 #define PAGE_POWER 12
 
 #define CR3_TO_PDE32(cr3) (((ulong_t)cr3) & 0xfffff000)