Changeset 60 for trunk/kernel/kern/scheduler.c

Timestamp:

Jun 26, 2017, 4:55:47 PM (7 years ago)

Author:

max@…

Message:

use reg_t instead of uint32_t

File:

• trunk/kernel/kern/scheduler.c (modified) (2 diffs)

trunk/kernel/kern/scheduler.c

@@ -229 +229 @@
 void sched_yield()
 {
-    uint32_t      sr_save;
+    reg_t         sr_save;
     thread_t    * next;
 
@@ -285 +285 @@
 void sched_switch_to( thread_t * new )
 {
-    uint32_t      sr_save;
+    reg_t         sr_save;
 
     thread_t    * current = CURRENT_THREAD;