X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_64.h;h=92af1f5b07504a3028674b8882cdd16228bd3d0f;hb=668be595282778551b3bafd0d524398b29de67d5;hp=004ecebb2959721cf82bc39e77ff24e8b662c6bc;hpb=03b23f614f0a00d3e23d5579f9abb87684af9ec8;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_direct_paging_64.h b/palacios/src/palacios/vmm_direct_paging_64.h
index 004eceb..92af1f5 100644
--- a/palacios/src/palacios/vmm_direct_paging_64.h
+++ b/palacios/src/palacios/vmm_direct_paging_64.h
@@ -70,7 +70,7 @@ static inline int handle_passthrough_pagefault_64(struct guest_info * core, addr
 
     //Fix up the PML entry
     if (pml[pml_index].present == 0) {
-	pdpe = (pdpe64_t *)create_generic_pt_page();
+	pdpe = (pdpe64_t *)create_generic_pt_page(core);
    
 	// Set default PML Flags...
 	pml[pml_index].present = 1;
@@ -84,7 +84,7 @@ static inline int handle_passthrough_pagefault_64(struct guest_info * core, addr
 
     // Fix up the PDPE entry
     if (pdpe[pdpe_index].present == 0) {
-	pde = (pde64_t *)create_generic_pt_page();
+	pde = (pde64_t *)create_generic_pt_page(core);
 	
 	// Set default PDPE Flags...
 	pdpe[pdpe_index].present = 1;
@@ -139,7 +139,7 @@ static inline int handle_passthrough_pagefault_64(struct guest_info * core, addr
     
     // Fix up the PDE entry
     if (pde[pde_index].present == 0) {
-	pte = (pte64_t *)create_generic_pt_page();
+	pte = (pte64_t *)create_generic_pt_page(core);
 	
 	pde[pde_index].present = 1;
 	pde[pde_index].writable = 1;