Changeset 140 for trunk/kernel

Timestamp:

Jul 4, 2017, 2:50:11 PM (7 years ago)

Author:

max@…

Message:

style

File:

• trunk/kernel/kern/do_interrupt.c (modified) (2 diffs)

trunk/kernel/kern/do_interrupt.c

@@ -1 +1 @@
 /*
- * do_interrupt.c - architecture independant interrupt handler.
- * 
+ * do_interrupt.c - architecture independent interrupt handler.
+ *
  * Author        Alain Greiner (2016)
  *
@@ -27 +27 @@
 #include <dev_icu.h>
 
-
 ////////////////////////////////////
 void do_interrupt( thread_t * this )
 {
-        // update user time     
-        thread_user_time_update( this );
+    // update user time
+    thread_user_time_update( this );
 
     // access ICU device to call the relevant ISR
     dev_icu_irq_handler();
-           
+
     // handle pending signals for interrupted thread
     thread_signals_handle( this );
 
-        // update kernel time
-        thread_kernel_time_update( this );
+    // update kernel time
+    thread_kernel_time_update( this );
 }