11d990201SGeorge Zhang /*
21d990201SGeorge Zhang  * VMware VMCI Driver
31d990201SGeorge Zhang  *
41d990201SGeorge Zhang  * Copyright (C) 2012 VMware, Inc. All rights reserved.
51d990201SGeorge Zhang  *
61d990201SGeorge Zhang  * This program is free software; you can redistribute it and/or modify it
71d990201SGeorge Zhang  * under the terms of the GNU General Public License as published by the
81d990201SGeorge Zhang  * Free Software Foundation version 2 and no later version.
91d990201SGeorge Zhang  *
101d990201SGeorge Zhang  * This program is distributed in the hope that it will be useful, but
111d990201SGeorge Zhang  * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
121d990201SGeorge Zhang  * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
131d990201SGeorge Zhang  * for more details.
141d990201SGeorge Zhang  */
151d990201SGeorge Zhang 
161d990201SGeorge Zhang #ifndef __VMCI_EVENT_H__
171d990201SGeorge Zhang #define __VMCI_EVENT_H__
181d990201SGeorge Zhang 
191d990201SGeorge Zhang #include <linux/vmw_vmci_api.h>
201d990201SGeorge Zhang 
211d990201SGeorge Zhang int vmci_event_init(void);
221d990201SGeorge Zhang void vmci_event_exit(void);
231d990201SGeorge Zhang int vmci_event_dispatch(struct vmci_datagram *msg);
241d990201SGeorge Zhang 
251d990201SGeorge Zhang #endif /*__VMCI_EVENT_H__ */
26