Changeset 188 for trunk/kernel/kern/do_interrupt.c

Timestamp:

Jul 12, 2017, 8:12:41 PM (7 years ago)

Author:

alain

Message:

Redefine the PIC device API.

File:

• trunk/kernel/kern/do_interrupt.c (modified) (1 diff)

trunk/kernel/kern/do_interrupt.c

@@ -30 +30 @@
 void do_interrupt( thread_t * 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 );
 }