X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging.c;h=783f6965aa8e3f2add8b09b6ca43cca5f374e3b2;hb=709ff8e4b1ca5412e4dd66101e25dc67751c8df7;hp=d244aacb89944c01ba9519548574794770e8dc0f;hpb=81a57a6aa9705663af95c6330a9911c4b34df75c;p=palacios.git

diff --git a/palacios/src/palacios/vmm_direct_paging.c b/palacios/src/palacios/vmm_direct_paging.c
index d244aac..783f696 100644
--- a/palacios/src/palacios/vmm_direct_paging.c
+++ b/palacios/src/palacios/vmm_direct_paging.c
@@ -35,6 +35,7 @@ static addr_t create_generic_pt_page() {
 // Inline handler functions for each cpu mode
 #include "vmm_direct_paging_32.h"
 #include "vmm_direct_paging_32pae.h"
+#include "vmm_direct_paging_64.h"
 
 
 addr_t v3_create_direct_passthrough_pts(struct guest_info * info) {