Ignore:
Timestamp:
Jul 12, 2017, 8:12:41 PM (7 years ago)
Author:
alain
Message:

Redefine the PIC device API.

File:
1 edited

Legend:

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

    r62 r188  
    3333                               reg_t    * regs_tbl )
    3434{
    35     // call the generic interrupt handler
    36         do_interrupt( this );
     35        // update user time     
     36        thread_user_time_update( this );
     37
     38    // access ICU device to call the relevant ISR
     39    soclib_pic_irq_handler();
     40           
     41    // handle pending signals for interrupted thread
     42    thread_signals_handle( this );
     43
     44        // update kernel time
     45        thread_kernel_time_update( this );
    3746}
Note: See TracChangeset for help on using the changeset viewer.