1/* SPDX-License-Identifier: GPL-2.0-only */
 2/*
 3 * VMware VMCI Driver
 4 *
 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__ */