X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_ept.h;h=06f1f8a2777a36b0f81a20bdc4159d6dc9cfb324;hb=7a10bbf26095ed08095f38de6c1db4b3a131d6f0;hp=a9dac1ceee765ae51df446b54c7f44096d6de706;hpb=fcc9962fe5d3b877f8f25de8745d0d4d1eaf394e;p=palacios.releases.git

diff --git a/palacios/include/palacios/vmx_ept.h b/palacios/include/palacios/vmx_ept.h
index a9dac1c..06f1f8a 100644
--- a/palacios/include/palacios/vmx_ept.h
+++ b/palacios/include/palacios/vmx_ept.h
@@ -25,6 +25,7 @@
 
 #include <palacios/vmx_hw_info.h>
 
+
 /* The actual format of these data structures is specified as being machine 
    dependent. Thus the lengths of the base address fields are defined as variable. 
    To be safe we assume the maximum(?) size fields 
@@ -58,7 +59,6 @@ struct ept_exit_qual {
 
 
 
-
 typedef struct vmx_eptp {
     uint64_t psmt            : 3; /* (0=UC, 6=WB) */
     uint64_t pwl1            : 3; /* 1 less than EPT page-walk length (?)*/
@@ -148,8 +148,6 @@ typedef struct ept_pte {
     uint64_t ignore2         : 12;
 } __attribute__((packed)) ept_pte_t;
 
-int v3_init_ept(struct guest_info * core, struct vmx_hw_info * hw_info);
-int v3_handle_ept_fault(struct guest_info * core, addr_t fault_addr, struct ept_exit_qual * ept_qual);
 
 
 #endif