blob: e7b5cda8b13878a8e3f184d181d36fc5714bc708 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/******************************************************************************
* event.h
*
* A nice interface for passing asynchronous events to guest OSes.
* (architecture-dependent part)
*
*/
#ifndef __ASM_EVENT_H__
#define __ASM_EVENT_H__
static inline void evtchn_notify(struct vcpu *v)
{
}
#endif
|