Changes in kernel/arch/ia64/src/interrupt.c [a35b458:1b20da0] in mainline

File:

• kernel/arch/ia64/src/interrupt.c (modified) (8 diffs)

kernel/arch/ia64/src/interrupt.c

@@ -124 +124 @@
 {
         assert(n <= VECTOR_MAX);
-
+        
         if (n >= VECTORS_16_BUNDLE_START)
                 return vector_names_16_bundle[n - VECTORS_16_BUNDLE_START];
@@ -141 +141 @@
         printf("cr.isr=%#0" PRIx64 "\tcr.ipsr=%#0" PRIx64 "\n",
             istate->cr_isr.value, istate->cr_ipsr.value);
-
+        
         printf("cr.iip=%#0" PRIxPTR ", #%u\t(%s)\n",
             istate->cr_iip, istate->cr_isr.ei,
@@ -154 +154 @@
 {
         const char *desc;
-
+        
         switch (istate->cr_isr.ge_code) {
         case GE_ILLEGALOP:
@@ -178 +178 @@
                 break;
         }
-
+        
         fault_if_from_uspace(istate, "General Exception (%s).", desc);
         panic_badtrap(istate, n, "General Exception (%s).", desc);
@@ -209 +209 @@
                 istate->cr_ipsr.ri++;
         }
-
+        
         interrupts_enable();
         ret = syscall_handler(istate->in0, istate->in1, istate->in2,
@@ -236 +236 @@
 {
         cr_ivr_t ivr;
-
+        
         ivr.value = ivr_read();
         srlz_d();
-
+        
         irq_t *irq;
-
+        
         switch (ivr.vector) {
         case INTERRUPT_SPURIOUS:
@@ -248 +248 @@
 #endif
                 break;
-
+        
 #ifdef CONFIG_SMP
         case VECTOR_TLB_SHOOTDOWN_IPI:
@@ -255 +255 @@
                 break;
 #endif
-
+        
         case INTERRUPT_TIMER:
                 irq = irq_dispatch_and_lock(ivr.vector);