1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * VMware VMCI Driver 4 * 5 * Copyright (C) 2012 VMware, Inc. All rights reserved. 6 */ 7 8 #ifndef __VMCI_EVENT_H__ 9 #define __VMCI_EVENT_H__ 10 11 #include <linux/vmw_vmci_api.h> 12 13 int vmci_event_init(void); 14 void vmci_event_exit(void); 15 int vmci_event_dispatch(struct vmci_datagram *msg); 16 17 #endif /*__VMCI_EVENT_H__ */ 18