diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-01-28 13:48:34 +0000 |
|---|---|---|
| committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-01-28 13:48:34 +0000 |
| commit | 4c4b722d452e99db6c42f356b8dd8f91f6a854da (patch) | |
| tree | 4ed99ffbc10e836a259941df205d0284d01ce719 /xen/common/event_channel.c | |
| parent | 87521589aa6a677bad2b4a80b8fd3ad152c1c274 (diff) | |
| download | xen-4c4b722d452e99db6c42f356b8dd8f91f6a854da.tar.gz xen-4c4b722d452e99db6c42f356b8dd8f91f6a854da.tar.bz2 xen-4c4b722d452e99db6c42f356b8dd8f91f6a854da.zip | |
xen: change virq parameters from int to uint32_t
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/common/event_channel.c')
| -rw-r--r-- | xen/common/event_channel.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c index 43bd16755e..f784254daf 100644 --- a/xen/common/event_channel.c +++ b/xen/common/event_channel.c @@ -104,11 +104,11 @@ static uint8_t get_xen_consumer(xen_event_channel_notification_t fn) static int evtchn_set_pending(struct vcpu *v, int port); -static int virq_is_global(int virq) +static int virq_is_global(uint32_t virq) { int rc; - ASSERT((virq >= 0) && (virq < NR_VIRQS)); + ASSERT(virq < NR_VIRQS); switch ( virq ) { @@ -665,12 +665,12 @@ static int evtchn_set_pending(struct vcpu *v, int port) return 0; } -int guest_enabled_event(struct vcpu *v, int virq) +int guest_enabled_event(struct vcpu *v, uint32_t virq) { return ((v != NULL) && (v->virq_to_evtchn[virq] != 0)); } -void send_guest_vcpu_virq(struct vcpu *v, int virq) +void send_guest_vcpu_virq(struct vcpu *v, uint32_t virq) { unsigned long flags; int port; @@ -689,7 +689,7 @@ void send_guest_vcpu_virq(struct vcpu *v, int virq) spin_unlock_irqrestore(&v->virq_lock, flags); } -static void send_guest_global_virq(struct domain *d, int virq) +static void send_guest_global_virq(struct domain *d, uint32_t virq) { unsigned long flags; int port; |