diff options
| author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-06-03 16:42:10 +0000 |
|---|---|---|
| committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-06-03 16:42:10 +0000 |
| commit | d1be12dd766ed7ed8a6f5fb77708c1b7a53e3092 (patch) | |
| tree | c105f1cf37e34cbf164a4efe0348a4489e4adb44 /xen/include/xen/event.h | |
| parent | 2db05f29eb1ae57753349d0ee7aa9844ffc3eff5 (diff) | |
| download | xen-d1be12dd766ed7ed8a6f5fb77708c1b7a53e3092.tar.gz xen-d1be12dd766ed7ed8a6f5fb77708c1b7a53e3092.tar.bz2 xen-d1be12dd766ed7ed8a6f5fb77708c1b7a53e3092.zip | |
bitkeeper revision 1.1664.1.1 (42a08862ToP8uoeBgUzDwAQBMXo4wg)
Event-channel CPU affinity. Currently all event channels still bind to
VCPU#0 at start of day, and have their binding automatically changed
when bound to a VIRQ or IPI source. XenLinux maintains a per-cpu
evtchn mask denoting which event channels are bound to each cpu.
Todo: Allow guests to change binding of of non-ipi and non-virq evtchns.
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'xen/include/xen/event.h')
| -rw-r--r-- | xen/include/xen/event.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/xen/include/xen/event.h b/xen/include/xen/event.h index a7d911771d..734427266b 100644 --- a/xen/include/xen/event.h +++ b/xen/include/xen/event.h @@ -53,7 +53,7 @@ static inline void evtchn_set_pending(struct vcpu *v, int port) /* * send_guest_virq: - * @d: Domain to which virtual IRQ should be sent + * @v: VCPU to which virtual IRQ should be sent * @virq: Virtual IRQ number (VIRQ_*) */ static inline void send_guest_virq(struct vcpu *v, int virq) @@ -69,10 +69,7 @@ static inline void send_guest_virq(struct vcpu *v, int virq) * @d: Domain to which physical IRQ should be sent * @pirq: Physical IRQ number */ -static inline void send_guest_pirq(struct vcpu *v, int pirq) -{ - evtchn_set_pending(v, v->domain->pirq_to_evtchn[pirq]); -} +extern void send_guest_pirq(struct domain *d, int pirq); #define event_pending(_d) \ ((_d)->vcpu_info->evtchn_upcall_pending && \ |