Changeset 140 for trunk/kernel


Ignore:
Timestamp:
Jul 4, 2017, 2:50:11 PM (7 years ago)
Author:
max@…
Message:

style

File:
1 edited

Legend:

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

    r16 r140  
    11/*
    2  * do_interrupt.c - architecture independant interrupt handler.
    3  * 
     2 * do_interrupt.c - architecture independent interrupt handler.
     3 *
    44 * Author        Alain Greiner (2016)
    55 *
     
    2727#include <dev_icu.h>
    2828
    29 
    3029////////////////////////////////////
    3130void do_interrupt( thread_t * this )
    3231{
    33         // update user time     
    34         thread_user_time_update( this );
     32    // update user time
     33    thread_user_time_update( this );
    3534
    3635    // access ICU device to call the relevant ISR
    3736    dev_icu_irq_handler();
    38            
     37
    3938    // handle pending signals for interrupted thread
    4039    thread_signals_handle( this );
    4140
    42         // update kernel time
    43         thread_kernel_time_update( this );
     41    // update kernel time
     42    thread_kernel_time_update( this );
    4443}
Note: See TracChangeset for help on using the changeset viewer.