1 /* 2 * VMware VMCI Driver 3 * 4 * Copyright (C) 2012 VMware, Inc. All rights reserved. 5 * 6 * This program is free software; you can redistribute it and/or modify it 7 * under the terms of the GNU General Public License as published by the 8 * Free Software Foundation version 2 and no later version. 9 * 10 * This program is distributed in the hope that it will be useful, but 11 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 12 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 13 * for more details. 14 */ 15 16 #ifndef __VMCI_EVENT_H__ 17 #define __VMCI_EVENT_H__ 18 19 #include <linux/vmw_vmci_api.h> 20 21 int vmci_event_init(void); 22 void vmci_event_exit(void); 23 int vmci_event_dispatch(struct vmci_datagram *msg); 24 25 #endif /*__VMCI_EVENT_H__ */ 26