Changeset 279 for trunk/hal/tsar_mips32/core/hal_interrupt.c

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 years ago)

Author:

alain

Message:

1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.

File:

• trunk/hal/tsar_mips32/core/hal_interrupt.c (modified) (3 diffs)

trunk/hal/tsar_mips32/core/hal_interrupt.c

@@ -23 +23 @@
 
 #include <hal_types.h>
+#include <hal_special.h>
 #include <kernel_config.h>
 #include <thread.h>
+#include <printk.h>
 #include <do_interrupt.h>
 #include <hal_interrupt.h>
-#include <mips32_uzone.h>
 #include <soclib_pic.h>
 
@@ -34 +35 @@
                                reg_t    * regs_tbl ) 
 {
+    irq_dmsg("\n[INFO] %s : enter at cycle %d\n", __FUNCTION__ , hal_time_stamp() );
+
         // update user time     
         thread_user_time_update( this );
@@ -45 +48 @@
         // update kernel time
         thread_kernel_time_update( this );
+
+    irq_dmsg("\n[INFO] %s : exit at cycle %d\n", __FUNCTION__ , hal_time_stamp() );
 }