Functional host device support in Linux kernel module for both busywait and select

[palacios.git] / linux_module / palacios-file.h

diff --git a/linux_module/palacios-file.h b/linux_module/palacios-file.h
index 7e2180c..280585a 100644 (file)
--- a/linux_module/palacios-file.h
+++ b/linux_module/palacios-file.h
@@ -2,5 +2,6 @@
 #define __PALACISO_FILE_H__
 
 int palacios_file_init(void);
+int palacios_file_deinit(void);
 
 #endif