#include <linux/vmw_vmci_defs.h>
#include <linux/vmw_vmci_api.h>
#include <linux/atomic.h>
#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/init.h>
#include "vmci_driver.h"
#include "vmci_event.h"
static bool vmci_disable_host;
module_param_named(disable_host, vmci_disable_host, bool, 0);
MODULE_PARM_DESC(…) …;
static bool vmci_disable_guest;
module_param_named(disable_guest, vmci_disable_guest, bool, 0);
MODULE_PARM_DESC(…) …;
static bool vmci_guest_personality_initialized;
static bool vmci_host_personality_initialized;
static DEFINE_MUTEX(vmci_vsock_mutex);
static vmci_vsock_cb vmci_vsock_transport_cb;
static bool vmci_vsock_cb_host_called;
u32 vmci_get_context_id(void)
{ … }
EXPORT_SYMBOL_GPL(…);
int vmci_register_vsock_callback(vmci_vsock_cb callback)
{ … }
EXPORT_SYMBOL_GPL(…);
void vmci_call_vsock_callback(bool is_host)
{ … }
static int __init vmci_drv_init(void)
{ … }
module_init(…) …;
static void __exit vmci_drv_exit(void)
{ … }
module_exit(vmci_drv_exit);
MODULE_AUTHOR(…) …;
MODULE_DESCRIPTION(…) …;
MODULE_VERSION(…) …;
MODULE_LICENSE(…) …;