[Xen-changelog] [xen-unstable] xen: change virq parameters from int to uint32_t

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
# Date 1327758514 0
# Node ID 1025acf332ded1a14ef44a813d13bc0595ac5386
# Parent  1e155189c9a4f6e9d78cf3ea955c9c0fad07d7f7
xen: change virq parameters from int to uint32_t

Signed-off-by: Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
Committed-by: Keir Fraser <keir@xxxxxxx>
---


diff -r 1e155189c9a4 -r 1025acf332de xen/common/event_channel.c
--- a/xen/common/event_channel.c        Sat Jan 28 13:48:03 2012 +0000
+++ b/xen/common/event_channel.c        Sat Jan 28 13:48:34 2012 +0000
@@ -104,11 +104,11 @@
 
 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 @@
     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 @@
     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;
diff -r 1e155189c9a4 -r 1025acf332de xen/include/asm-ia64/event.h
--- a/xen/include/asm-ia64/event.h      Sat Jan 28 13:48:03 2012 +0000
+++ b/xen/include/asm-ia64/event.h      Sat Jan 28 13:48:34 2012 +0000
@@ -63,7 +63,7 @@
     current->vcpu_info->evtchn_upcall_mask = 0;
 }
 
-static inline int arch_virq_is_global(int virq)
+static inline int arch_virq_is_global(uint32_t virq)
 {
     int rc;
 
diff -r 1e155189c9a4 -r 1025acf332de xen/include/asm-x86/event.h
--- a/xen/include/asm-x86/event.h       Sat Jan 28 13:48:03 2012 +0000
+++ b/xen/include/asm-x86/event.h       Sat Jan 28 13:48:34 2012 +0000
@@ -39,7 +39,7 @@
 }
 
 /* No arch specific virq definition now. Default to global. */
-static inline int arch_virq_is_global(int virq)
+static inline int arch_virq_is_global(uint32_t virq)
 {
     return 1;
 }
diff -r 1e155189c9a4 -r 1025acf332de xen/include/xen/event.h
--- a/xen/include/xen/event.h   Sat Jan 28 13:48:03 2012 +0000
+++ b/xen/include/xen/event.h   Sat Jan 28 13:48:34 2012 +0000
@@ -20,7 +20,7 @@
  *  @v:        VCPU to which virtual IRQ should be sent
  *  @virq:     Virtual IRQ number (VIRQ_*)
  */
-void send_guest_vcpu_virq(struct vcpu *v, int virq);
+void send_guest_vcpu_virq(struct vcpu *v, uint32_t virq);
 
 /*
  * send_global_virq: Notify the domain handling a global VIRQ.
@@ -65,7 +65,7 @@
     struct vcpu *local_vcpu, int port);
 
 /* Query if event channel is in use by the guest */
-int guest_enabled_event(struct vcpu *v, int virq);
+int guest_enabled_event(struct vcpu *v, uint32_t virq);
 
 /* Notify remote end of a Xen-attached event channel.*/
 void notify_via_xen_event_channel(struct domain *ld, int lport);

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog