X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_io.h;h=956d7251d6cba6bd1ff63f2a843c4ba16cc73d71;hb=55e1aec9b0d2358b02721d3d331089e100f3fe27;hp=726f75a162fc9732a48d328f96c70796192b5a9c;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios.git

diff --git a/palacios/include/palacios/vmm_io.h b/palacios/include/palacios/vmm_io.h
index 726f75a..956d725 100644
--- a/palacios/include/palacios/vmm_io.h
+++ b/palacios/include/palacios/vmm_io.h
@@ -34,7 +34,7 @@ struct v3_vm_info;
 struct guest_info;
 
 void v3_init_io_map(struct v3_vm_info * vm);
-
+int v3_deinit_io_map(struct v3_vm_info * vm);