added to string function for page_type enumerator

[palacios.git] / palacios / include / palacios / vmm_paging.h

diff --git a/palacios/include/palacios/vmm_paging.h b/palacios/include/palacios/vmm_paging.h
index a4f520e..b2e0a65 100644 (file)
--- a/palacios/include/palacios/vmm_paging.h
+++ b/palacios/include/palacios/vmm_paging.h
@@ -557,6 +557,8 @@ pml4e64_t * create_passthrough_pts_64(struct guest_info * info);
 
 
 
+const uchar_t * v3_page_type_to_str(page_type_t type);
+
 
 //#include <palacios/vm_guest.h>