x86/xen: resume timer irqs early
[linux/fpc-iii.git] / drivers / misc / vmw_vmci / vmci_event.h
blob7df9b1c0a96cc1ffb232a5c9c4fc0a12fb7efa0e
1 /*
2 * VMware VMCI Driver
4 * Copyright (C) 2012 VMware, Inc. All rights reserved.
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License as published by the
8 * Free Software Foundation version 2 and no later version.
10 * This program is distributed in the hope that it will be useful, but
11 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
12 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 * for more details.
16 #ifndef __VMCI_EVENT_H__
17 #define __VMCI_EVENT_H__
19 #include <linux/vmw_vmci_api.h>
21 int vmci_event_init(void);
22 void vmci_event_exit(void);
23 int vmci_event_dispatch(struct vmci_datagram *msg);
25 #endif /*__VMCI_EVENT_H__ */