#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;
};
int v3_unregister_passthrough_paging_event_callback(struct v3_vm_info *vm,
int (*callback)(struct guest_info *core,
- struct v3_passthrough_pg_event,
+ struct v3_passthrough_pg_event *,
void *priv_data),
void *priv_data);
// 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);
int v3_unregister_nested_paging_event_callback(struct v3_vm_info *vm,
int (*callback)(struct guest_info *core,
- struct v3_nested_pg_event,
+ struct v3_nested_pg_event *,
void *priv_data),
void *priv_data);