18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * VMware VMCI Driver 48c2ecf20Sopenharmony_ci * 58c2ecf20Sopenharmony_ci * Copyright (C) 2012 VMware, Inc. All rights reserved. 68c2ecf20Sopenharmony_ci */ 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#ifndef __VMCI_EVENT_H__ 98c2ecf20Sopenharmony_ci#define __VMCI_EVENT_H__ 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_ci#include <linux/vmw_vmci_api.h> 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ciint vmci_event_init(void); 148c2ecf20Sopenharmony_civoid vmci_event_exit(void); 158c2ecf20Sopenharmony_ciint vmci_event_dispatch(struct vmci_datagram *msg); 168c2ecf20Sopenharmony_ci 178c2ecf20Sopenharmony_ci#endif /*__VMCI_EVENT_H__ */ 18