Ignore:
Timestamp:
Jun 26, 2017, 4:55:47 PM (5 years ago)
Author:
max@…
Message:

use reg_t instead of uint32_t

File:
1 edited

Legend:

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

    r14 r60  
    229229void sched_yield()
    230230{
    231     uint32_t      sr_save;
     231    reg_t         sr_save;
    232232    thread_t    * next;
    233233
     
    285285void sched_switch_to( thread_t * new )
    286286{
    287     uint32_t      sr_save;
     287    reg_t         sr_save;
    288288
    289289    thread_t    * current = CURRENT_THREAD;
Note: See TracChangeset for help on using the changeset viewer.