*** empty log message ***

[palacios.git] / palacios / include / geekos / svm_handler.h

diff --git a/palacios/include/geekos/svm_handler.h b/palacios/include/geekos/svm_handler.h
index 0afbe64..e52222a 100644 (file)
--- a/palacios/include/geekos/svm_handler.h
+++ b/palacios/include/geekos/svm_handler.h
@@ -187,6 +187,7 @@ struct svm_io_info {
 
 
 int handle_svm_io(guest_info_t * info);
+int handle_shadow_paging(guest_info_t * info);
 
 int handle_svm_exit(guest_info_t * info);