blob: 10f58af1800b8484a62077b6d201d96f50c99519 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#ifndef __ASM_EVENT_H__
#define __ASM_EVENT_H__
void vcpu_kick(struct vcpu *v);
void vcpu_mark_events_pending(struct vcpu *v);
static inline int local_events_need_delivery(void)
{
/* TODO
* return (vcpu_info(v, evtchn_upcall_pending) &&
!vcpu_info(v, evtchn_upcall_mask)); */
return 0;
}
int local_event_delivery_is_enabled(void);
static inline void local_event_delivery_disable(void)
{
/* TODO current->vcpu_info->evtchn_upcall_mask = 1; */
}
static inline void local_event_delivery_enable(void)
{
/* TODO current->vcpu_info->evtchn_upcall_mask = 0; */
}
/* No arch specific virq definition now. Default to global. */
static inline int arch_virq_is_global(int virq)
{
return 1;
}
#endif
/*
* Local variables:
* mode: C
* c-file-style: "BSD"
* c-basic-offset: 4
* indent-tabs-mode: nil
* End:
*/
|