projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix SPI1 activation bug. Now SPI1 on at91sam7x is fully functional.
[bertos.git]
/
bertos
/
kern
/
sem.c
diff --git
a/bertos/kern/sem.c
b/bertos/kern/sem.c
index 7d07f4d6f61585b928e1361186857c0071cca5fd..ac4e7d969bb4afa5bd505a182a16a59b9a31372f 100644
(file)
--- a/
bertos/kern/sem.c
+++ b/
bertos/kern/sem.c
@@
-37,11
+37,13
@@
*/
#include "sem.h"
*/
#include "sem.h"
+#include <cfg/debug.h>
+
#include <cpu/irq.h> // ASSERT_IRQ_DISABLED()
#include <cpu/irq.h> // ASSERT_IRQ_DISABLED()
+
#include <kern/proc.h>
#include <kern/proc_p.h>
#include <kern/signal.h>
#include <kern/proc.h>
#include <kern/proc_p.h>
#include <kern/signal.h>
-#include <cfg/debug.h>
INLINE void sem_verify(struct Semaphore *s)
{
INLINE void sem_verify(struct Semaphore *s)
{
@@
-52,7
+54,6
@@
INLINE void sem_verify(struct Semaphore *s)
ASSERT(s->nest_count < 128); // heuristic max
}
ASSERT(s->nest_count < 128); // heuristic max
}
-
/**
* \brief Initialize a Semaphore structure.
*/
/**
* \brief Initialize a Semaphore structure.
*/