X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;h=b619a04d777551e73c13cf751d774b76a5d803e9;hb=95290c36e27daf208b8e61e6c6f26325db8b6b4d;hp=4c191dfdfe6ee0121501cc045044e9ca420f002d;hpb=65ffa7d1ac6dfb3399ba2b217d27519e258ee00a;p=palacios.git

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 4c191df..b619a04 100644
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -99,6 +99,7 @@ int v3_is_guest_pf(pt_access_status_t guest_access, pt_access_status_t shadow_ac
 
 
 int V3_init_shdw_paging();
+int V3_deinit_shdw_paging();
 
 #define register_shdw_pg_impl(impl)					\
     static struct v3_shdw_pg_impl * _v3_shdw_pg_impl			\