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