From 81e309dd1a768c2fcf2cc9e6acd16dc01f9ce360 Mon Sep 17 00:00:00 2001 From: Jörg Hohensohn Date: Sat, 13 Mar 2004 16:45:18 +0000 Subject: We had a few set_irq_level(15) left in the code, instead of the new set_irq_level(HIGHEST_IRQ_LEVEL). Only one was really used, in system_reboot(), creating a (unlikely) race condition. git-svn-id: svn://svn.rockbox.org/rockbox/trunk@4374 a1c6a512-1295-4272-9138-f99709370657 --- firmware/export/system.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'firmware/export/system.h') 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) /* Compare And Swap */ static inline int cas (volatile int *pointer,int requested_value,int new_value) { - unsigned int oldlevel = set_irq_level(15); + unsigned int oldlevel = set_irq_level(HIGHEST_IRQ_LEVEL); if (*pointer == requested_value) { *pointer = new_value; @@ -146,7 +146,7 @@ static inline int cas (volatile int *pointer,int requested_value,int new_value) static inline int cas2 (volatile int *pointer1,volatile int *pointer2,int requested_value1,int requested_value2,int new_value1,int new_value2) { - unsigned int oldlevel = set_irq_level(15); + unsigned int oldlevel = set_irq_level(HIGHEST_IRQ_LEVEL); if (*pointer1 == requested_value1 && *pointer2 == requested_value2) { *pointer1 = new_value1; -- cgit v1.2.3