diff options
-rw-r--r-- | firmware/export/system.h | 4 | ||||
-rw-r--r-- | firmware/system.c | 2 | ||||
-rw-r--r-- | uisimulator/win32/kernel.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/firmware/export/system.h b/firmware/export/system.h index 038d9567e0..cfb771d66b 100644 --- a/firmware/export/system.h +++ b/firmware/export/system.h | |||
@@ -133,7 +133,7 @@ static inline int tas (volatile int *pointer) | |||
133 | /* Compare And Swap */ | 133 | /* Compare And Swap */ |
134 | static inline int cas (volatile int *pointer,int requested_value,int new_value) | 134 | static inline int cas (volatile int *pointer,int requested_value,int new_value) |
135 | { | 135 | { |
136 | unsigned int oldlevel = set_irq_level(15); | 136 | unsigned int oldlevel = set_irq_level(HIGHEST_IRQ_LEVEL); |
137 | if (*pointer == requested_value) | 137 | if (*pointer == requested_value) |
138 | { | 138 | { |
139 | *pointer = new_value; | 139 | *pointer = new_value; |
@@ -146,7 +146,7 @@ static inline int cas (volatile int *pointer,int requested_value,int new_value) | |||
146 | 146 | ||
147 | static inline int cas2 (volatile int *pointer1,volatile int *pointer2,int requested_value1,int requested_value2,int new_value1,int new_value2) | 147 | static inline int cas2 (volatile int *pointer1,volatile int *pointer2,int requested_value1,int requested_value2,int new_value1,int new_value2) |
148 | { | 148 | { |
149 | unsigned int oldlevel = set_irq_level(15); | 149 | unsigned int oldlevel = set_irq_level(HIGHEST_IRQ_LEVEL); |
150 | if (*pointer1 == requested_value1 && *pointer2 == requested_value2) | 150 | if (*pointer1 == requested_value1 && *pointer2 == requested_value2) |
151 | { | 151 | { |
152 | *pointer1 = new_value1; | 152 | *pointer1 = new_value1; |
diff --git a/firmware/system.c b/firmware/system.c index cd2c5e34a0..41358a6776 100644 --- a/firmware/system.c +++ b/firmware/system.c | |||
@@ -302,7 +302,7 @@ void (*vbr[]) (void) __attribute__ ((section (".vectors"))) = | |||
302 | 302 | ||
303 | void system_reboot (void) | 303 | void system_reboot (void) |
304 | { | 304 | { |
305 | set_irq_level(15); | 305 | set_irq_level(HIGHEST_IRQ_LEVEL); |
306 | 306 | ||
307 | asm volatile ("ldc\t%0,vbr" : : "r"(0)); | 307 | asm volatile ("ldc\t%0,vbr" : : "r"(0)); |
308 | 308 | ||
diff --git a/uisimulator/win32/kernel.c b/uisimulator/win32/kernel.c index 466950eba0..9c82435df2 100644 --- a/uisimulator/win32/kernel.c +++ b/uisimulator/win32/kernel.c | |||
@@ -86,7 +86,7 @@ void queue_post(struct event_queue *q, int id, void *data) | |||
86 | int wr; | 86 | int wr; |
87 | int oldlevel; | 87 | int oldlevel; |
88 | 88 | ||
89 | oldlevel = set_irq_level(15); | 89 | oldlevel = set_irq_level(HIGHEST_IRQ_LEVEL); |
90 | wr = (q->write++) & QUEUE_LENGTH_MASK; | 90 | wr = (q->write++) & QUEUE_LENGTH_MASK; |
91 | 91 | ||
92 | q->events[wr].id = id; | 92 | q->events[wr].id = id; |