Changeset 188 for trunk/hal/tsar_mips32/core

Timestamp:

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

Author:

alain

Message:

Redefine the PIC device API.

File:

• trunk/hal/tsar_mips32/core/hal_interrupt.c (modified) (1 diff)

trunk/hal/tsar_mips32/core/hal_interrupt.c

@@ -33 +33 @@
                                reg_t    * regs_tbl ) 
 {
-    // call the generic interrupt handler
-        do_interrupt( this );
+        // update user time     
+        thread_user_time_update( this );
+
+    // access ICU device to call the relevant ISR
+    soclib_pic_irq_handler();
+           
+    // handle pending signals for interrupted thread
+    thread_signals_handle( this );
+
+        // update kernel time
+        thread_kernel_time_update( this );
 }