X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_direct_paging.h;h=07aec1838e8688d4370c06b35eb00ca3a48392b0;hb=659151a0b655c619f3acbb98a45e9eeb8002a4b3;hp=ee418163a3cea806793176d06f5c2939b1c559ef;hpb=ce0f119828348c3c57a00c4aa268a8a223ccd7f8;p=palacios.git diff --git a/palacios/include/palacios/vmm_direct_paging.h b/palacios/include/palacios/vmm_direct_paging.h index ee41816..07aec18 100644 --- a/palacios/include/palacios/vmm_direct_paging.h +++ b/palacios/include/palacios/vmm_direct_paging.h @@ -26,6 +26,7 @@ #include #include #include +#include /********************************** @@ -37,6 +38,7 @@ struct v3_passthrough_impl_state { // currently there is only a single implementation // that internally includes SVM and VMX support // The externally visible state is just the callbacks + v3_rw_lock_t event_callback_lock; struct list_head event_callback_list; }; @@ -106,6 +108,7 @@ struct v3_nested_impl_state { // currently there is only a single implementation // that internally includes SVM and VMX support // The externally visible state is just the callbacks + v3_rw_lock_t event_callback_lock; struct list_head event_callback_list; };