Changeset 623b49f1 in mainline for kernel/arch/ia32xen/src

Timestamp:

2007-01-29T19:22:04Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

1004b37

Parents:

7d07bf3

Message:

fix signed/unsigned comparison and integer overflow

Location:

kernel/arch/ia32xen/src/smp

Files:

• apic.c (modified) (3 diffs)
• mps.c (modified) (2 diffs)
• smp.c (modified) (1 diff)

kernel/arch/ia32xen/src/smp/apic.c

@@ -125 +125 @@
 {
         io_apic_id_t idreg;
-        int i;
+        unsigned int i;
 
         exc_register(VECTOR_APIC_SPUR, "apic_spurious", (iroutine) apic_spurious);
@@ -529 +529 @@
 {
         io_redirection_reg_t reg;
-        int i, pin;
-        
-        for (i=0;i<16;i++) {
-                if (irqmask & (1<<i)) {
+        unsigned int i;
+        int pin;
+        
+        for (i = 0; i < 16; i++) {
+                if (irqmask & (1 << i)) {
                         /*
                          * Mask the signal input in IO APIC if there is a
@@ -554 +555 @@
 void io_apic_enable_irqs(uint16_t irqmask)
 {
-        int i, pin;
+        unsigned int i;
+        int pin;
         io_redirection_reg_t reg;       
         
-        for (i=0;i<16;i++) {
-                if (irqmask & (1<<i)) {
+        for (i = 0; i < 16; i++) {
+                if (irqmask & (1 << i)) {
                         /*
                          * Unmask the signal input in IO APIC if there is a

kernel/arch/ia32xen/src/smp/mps.c

@@ -93 +93 @@
 static bool is_bsp(index_t i);
 static uint8_t get_cpu_apic_id(index_t i);
-static int mps_irq_to_pin(int irq);
+static int mps_irq_to_pin(unsigned int irq);
 
 struct smp_config_operations mps_config_operations = {
@@ -416 +416 @@
 }
 
-int mps_irq_to_pin(int irq)
+int mps_irq_to_pin(unsigned int irq)
 {
         int i;
         
-        for(i=0;i<io_intr_entry_cnt;i++) {
+        for (i = 0; i < io_intr_entry_cnt; i++) {
                 if (io_intr_entries[i].src_bus_irq == irq && io_intr_entries[i].intr_type == 0)
                         return io_intr_entries[i].dst_io_apic_pin;

kernel/arch/ia32xen/src/smp/smp.c

@@ -163 +163 @@
 }
 
-int smp_irq_to_pin(int irq)
+int smp_irq_to_pin(unsigned int irq)
 {
         ASSERT(ops != NULL);