X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-mm.h;h=abc8857f2e701f09c28147f234c0d7643b04cc22;hb=3aa43c8aeb9750675238aa33db37c771d815a706;hp=940467cc2d798257264f7988b673323859454f4a;hpb=260bb3e805ebc92ae294c3c2b36d027ba8bca488;p=palacios.git

diff --git a/linux_module/palacios-mm.h b/linux_module/palacios-mm.h
index 940467c..abc8857 100644
--- a/linux_module/palacios-mm.h
+++ b/linux_module/palacios-mm.h
@@ -15,6 +15,7 @@ void free_palacios_pgs(uintptr_t base_addr, u64 num_pages);
 int add_palacios_memory(uintptr_t base_addr, u64 num_pages);
 int remove_palacios_memory(uintptr_t base_addr, u64 num_pages);
 int palacios_init_mm( void );
+int palacios_deinit_mm( void );