ia64/xen-unstable

view xen/include/asm-x86/event.h @ 19848:5839491bbf20

[IA64] replace MAX_VCPUS with d->max_vcpus where necessary.

don't use MAX_VCPUS, and use vcpu::max_vcpus.
The changeset of 2f9e1348aa98 introduced max_vcpus to allow more vcpus
per guest. This patch is ia64 counter part.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author Isaku Yamahata <yamahata@valinux.co.jp>
date Mon Jun 29 11:26:05 2009 +0900 (2009-06-29)
parents 4941c5a14598
children
line source
1 /******************************************************************************
2 * event.h
3 *
4 * A nice interface for passing asynchronous events to guest OSes.
5 * (architecture-dependent part)
6 *
7 */
9 #ifndef __ASM_EVENT_H__
10 #define __ASM_EVENT_H__
12 #include <xen/shared.h>
14 void vcpu_kick(struct vcpu *v);
15 void vcpu_mark_events_pending(struct vcpu *v);
17 int hvm_local_events_need_delivery(struct vcpu *v);
18 static inline int local_events_need_delivery(void)
19 {
20 struct vcpu *v = current;
21 return (is_hvm_vcpu(v) ? hvm_local_events_need_delivery(v) :
22 (vcpu_info(v, evtchn_upcall_pending) &&
23 !vcpu_info(v, evtchn_upcall_mask)));
24 }
26 static inline int local_event_delivery_is_enabled(void)
27 {
28 return !vcpu_info(current, evtchn_upcall_mask);
29 }
31 static inline void local_event_delivery_disable(void)
32 {
33 vcpu_info(current, evtchn_upcall_mask) = 1;
34 }
36 static inline void local_event_delivery_enable(void)
37 {
38 vcpu_info(current, evtchn_upcall_mask) = 0;
39 }
41 /* No arch specific virq definition now. Default to global. */
42 static inline int arch_virq_is_global(int virq)
43 {
44 return 1;
45 }
47 #endif