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

Redefine the PIC device API.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/do_interrupt.c

    r140 r188  
    3030void do_interrupt( thread_t * this )
    3131{
    32     // update user time
    33     thread_user_time_update( this );
    34 
    35     // access ICU device to call the relevant ISR
    36     dev_icu_irq_handler();
    37 
    38     // handle pending signals for interrupted thread
    39     thread_signals_handle( this );
    40 
    41     // update kernel time
    42     thread_kernel_time_update( this );
    4332}
Note: See TracChangeset for help on using the changeset viewer.