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__ */
18