Ignore:
Timestamp:
Jul 27, 2017, 12:23:29 AM (4 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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/tsar_mips32/core/hal_interrupt.c

    r238 r279  
    2323
    2424#include <hal_types.h>
     25#include <hal_special.h>
    2526#include <kernel_config.h>
    2627#include <thread.h>
     28#include <printk.h>
    2729#include <do_interrupt.h>
    2830#include <hal_interrupt.h>
    29 #include <mips32_uzone.h>
    3031#include <soclib_pic.h>
    3132
     
    3435                               reg_t    * regs_tbl )
    3536{
     37    irq_dmsg("\n[INFO] %s : enter at cycle %d\n", __FUNCTION__ , hal_time_stamp() );
     38
    3639        // update user time     
    3740        thread_user_time_update( this );
     
    4548        // update kernel time
    4649        thread_kernel_time_update( this );
     50
     51    irq_dmsg("\n[INFO] %s : exit at cycle %d\n", __FUNCTION__ , hal_time_stamp() );
    4752}
Note: See TracChangeset for help on using the changeset viewer.