blob: b6436847624c5bbbce4f7327fbc0f7dc82d16982 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/******************************************************************************
* 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)
{
vcpu_pend_interrupt(v, v->vcpu_info->arch.evtchn_vector);
}
#endif
|