diff options
author | cl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk> | 2005-06-02 21:25:15 +0000 |
---|---|---|
committer | cl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk> | 2005-06-02 21:25:15 +0000 |
commit | b7a0fb87b9fd4ed50006c31e9aaf7a7bdff3d060 (patch) | |
tree | 733cf55a9da86074006d331b8a0b334aa325ea6a /xen/include/xen/event.h | |
parent | 7b9361498f418c0ddca3ee202add13d24da0f0cd (diff) | |
parent | 550e86d463b9eda10d94642aad1a719cf0102362 (diff) | |
download | xen-b7a0fb87b9fd4ed50006c31e9aaf7a7bdff3d060.tar.gz xen-b7a0fb87b9fd4ed50006c31e9aaf7a7bdff3d060.tar.bz2 xen-b7a0fb87b9fd4ed50006c31e9aaf7a7bdff3d060.zip |
bitkeeper revision 1.1654 (429f793bJpez_x78azX5iKCsmtPMUQ)
Merge firebug.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into firebug.cl.cam.ac.uk:/local/scratch/cl349/xen-unstable.bk
Diffstat (limited to 'xen/include/xen/event.h')
-rw-r--r-- | xen/include/xen/event.h | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/xen/include/xen/event.h b/xen/include/xen/event.h index 2ae5d94895..a7d911771d 100644 --- a/xen/include/xen/event.h +++ b/xen/include/xen/event.h @@ -21,19 +21,19 @@ * may require explicit memory barriers. */ -static inline void evtchn_set_pending(struct exec_domain *ed, int port) +static inline void evtchn_set_pending(struct vcpu *v, int port) { - struct domain *d = ed->domain; + struct domain *d = v->domain; shared_info_t *s = d->shared_info; int running; /* These three operations must happen in strict order. */ if ( !test_and_set_bit(port, &s->evtchn_pending[0]) && !test_bit (port, &s->evtchn_mask[0]) && - !test_and_set_bit(port>>5, &ed->vcpu_info->evtchn_pending_sel) ) + !test_and_set_bit(port>>5, &v->vcpu_info->evtchn_pending_sel) ) { /* The VCPU pending flag must be set /after/ update to evtchn-pend. */ - set_bit(0, &ed->vcpu_info->evtchn_upcall_pending); + set_bit(0, &v->vcpu_info->evtchn_upcall_pending); /* * NB1. 'vcpu_flags' and 'processor' must be checked /after/ update of @@ -44,10 +44,10 @@ static inline void evtchn_set_pending(struct exec_domain *ed, int port) * NB2. We save VCPUF_running across the unblock to avoid a needless * IPI for domains that we IPI'd to unblock. */ - running = test_bit(_VCPUF_running, &ed->vcpu_flags); - exec_domain_unblock(ed); + running = test_bit(_VCPUF_running, &v->vcpu_flags); + vcpu_unblock(v); if ( running ) - smp_send_event_check_cpu(ed->processor); + smp_send_event_check_cpu(v->processor); } } @@ -56,12 +56,12 @@ static inline void evtchn_set_pending(struct exec_domain *ed, int port) * @d: Domain to which virtual IRQ should be sent * @virq: Virtual IRQ number (VIRQ_*) */ -static inline void send_guest_virq(struct exec_domain *ed, int virq) +static inline void send_guest_virq(struct vcpu *v, int virq) { - int port = ed->virq_to_evtchn[virq]; + int port = v->virq_to_evtchn[virq]; if ( likely(port != 0) ) - evtchn_set_pending(ed, port); + evtchn_set_pending(v, port); } /* @@ -69,9 +69,9 @@ static inline void send_guest_virq(struct exec_domain *ed, int virq) * @d: Domain to which physical IRQ should be sent * @pirq: Physical IRQ number */ -static inline void send_guest_pirq(struct exec_domain *ed, int pirq) +static inline void send_guest_pirq(struct vcpu *v, int pirq) { - evtchn_set_pending(ed, ed->domain->pirq_to_evtchn[pirq]); + evtchn_set_pending(v, v->domain->pirq_to_evtchn[pirq]); } #define event_pending(_d) \ |