X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fmmu%2Fvmm_shdw_pg_tlb.c;h=d6f77d8a6e6c09ce40f36ba054a96fadd24d1f1b;hp=9c5545cb0d80b489cb5c1094e982189a42427545;hb=b58fe2254858e3ecc94be5d86f2a93f2cfe0a0d5;hpb=659151a0b655c619f3acbb98a45e9eeb8002a4b3

diff --git a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb.c b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb.c
index 9c5545c..d6f77d8 100644
--- a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb.c
+++ b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb.c
@@ -54,13 +54,6 @@ static struct shadow_page_data * create_new_shadow_pt(struct guest_info * core);
 #include "vmm_shdw_pg_tlb_32pae.h"
 #include "vmm_shdw_pg_tlb_64.h"
 
-static inline int get_constraints(struct guest_info *core) 
-{
-  // the current version of VTLB does not require any constraints
-  // on where page tables are allocated since it will use
-  // 32PAE page tables on a 64 bit machine even in 32 bit mode and below
-  return 0;  
-}
 
 
 static struct shadow_page_data * create_new_shadow_pt(struct guest_info * core) {
@@ -98,7 +91,7 @@ static struct shadow_page_data * create_new_shadow_pt(struct guest_info * core)
 	return NULL;
     }
 
-    page_tail->page_pa = (addr_t)V3_AllocPagesExtended(1,PAGE_SIZE_4KB,-1,get_constraints(core));
+    page_tail->page_pa = (addr_t)V3_AllocPagesExtended(1,PAGE_SIZE_4KB,-1,0,0);
 
     if (!page_tail->page_pa) {
 	PrintError(core->vm_info, core, "Cannot allocate page\n");