Changes in kernel/arch/ppc32/src/drivers/pic.c [a35b458:1b20da0] in mainline

File:

• kernel/arch/ppc32/src/drivers/pic.c (modified) (2 diffs)

kernel/arch/ppc32/src/drivers/pic.c

@@ -55 +55 @@
                         pic[PIC_MASK_HIGH] = pic[PIC_MASK_HIGH] | (1 << (intnum - 32));
         }
-
+        
 }
 
@@ -85 +85 @@
         if (pic) {
                 uint32_t pending;
-
+                
                 pending = pic[PIC_PENDING_LOW];
                 if (pending != 0)
                         return fnzb32(pending);
-
+                
                 pending = pic[PIC_PENDING_HIGH];
                 if (pending != 0)
                         return fnzb32(pending) + 32;
         }
-
+        
         return 255;
 }