]> rtime.felk.cvut.cz Git - arc.git/blobdiff - include/Os.h
Merged in from mahi-1
[arc.git] / include / Os.h
index 55dd70b8eb1de5f32a6bc4dbcd10a75409d7c616..8ba967a2484873cf6b2b74238192b2deb00786da 100644 (file)
@@ -169,7 +169,7 @@ static inline void DisableAllInterrupts( void ) {
        Irq_Disable();\r
        Os_IntDisableAllCnt++;\r
        /* No nesting allowed */\r
-       assert(Os_IntDisableAllCnt>1);\r
+       assert(Os_IntDisableAllCnt==1);\r
 }\r
 \r
 static inline void EnableAllInterrupts( void ) {\r
@@ -249,7 +249,7 @@ StatusType ReleaseResource( ResourceType ResID);
 /*\r
  * Define the scheduler resource as ~0\r
  */\r
-#define        RES_SCHEDULER                   ~(ResourceType)0\r
+#define        RES_SCHEDULER                   (ResourceType)(~0)\r
 \r
 /*\r
  * Priorities of tasks and resources\r