18 lines · c
1/* SPDX-License-Identifier: GPL-2.0-only */2/*3 * VMware VMCI Driver4 *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 13int vmci_event_init(void);14void vmci_event_exit(void);15int vmci_event_dispatch(struct vmci_datagram *msg);16 17#endif /*__VMCI_EVENT_H__ */18