X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=377fc448f105a156e70a35b054c5e253f0728d50;hb=d4101540fb62c0459cacca0b3b8299e7ada91306;hp=fed5fae84a5f4b0c6d40de74aab724122ed14e38;hpb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;p=palacios.git

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index fed5fae..377fc44 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -279,7 +279,7 @@ static void Init_VMCB_BIOS(vmcb_t * vmcb, struct guest_info *vm_info) {
 	PrintDebug("NP_Enable at 0x%p\n", (void *)&(ctrl_area->NP_ENABLE));
 	
 	// Set the Nested Page Table pointer
-	vm_info->direct_map_pt = ((addr_t)create_passthrough_pts_32(vm_info) & ~0xfff);
+	vm_info->direct_map_pt = ((addr_t)v3_create_direct_passthrough_pts(vm_info) & ~0xfff);
 	ctrl_area->N_CR3 = vm_info->direct_map_pt;
 	
 	//   ctrl_area->N_CR3 = Get_CR3();