1685a6bf8SThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-only */
21d990201SGeorge Zhang /*
31d990201SGeorge Zhang  * VMware VMCI Driver
41d990201SGeorge Zhang  *
51d990201SGeorge Zhang  * Copyright (C) 2012 VMware, Inc. All rights reserved.
61d990201SGeorge Zhang  */
71d990201SGeorge Zhang 
81d990201SGeorge Zhang #ifndef __VMCI_EVENT_H__
91d990201SGeorge Zhang #define __VMCI_EVENT_H__
101d990201SGeorge Zhang 
111d990201SGeorge Zhang #include <linux/vmw_vmci_api.h>
121d990201SGeorge Zhang 
131d990201SGeorge Zhang int vmci_event_init(void);
141d990201SGeorge Zhang void vmci_event_exit(void);
151d990201SGeorge Zhang int vmci_event_dispatch(struct vmci_datagram *msg);
161d990201SGeorge Zhang 
171d990201SGeorge Zhang #endif /*__VMCI_EVENT_H__ */
18