#include <palacios/vmm_mem.h>
#include <palacios/vmm_paging.h>
#include <palacios/vmm_list.h>
+#include <palacios/vmm_lock.h>
/**********************************
// 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;
+ int inited;
};
// 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;
+ int inited;
};
int v3_init_nested_paging(struct v3_vm_info *vm);