Rev 111 | Rev 114 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 111 | Rev 113 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | #include <mm/page.h> |
42 | #include <mm/page.h> |
43 | #include <synch/spinlock.h> |
43 | #include <synch/spinlock.h> |
44 | #include <arch/faddr.h> |
44 | #include <arch/faddr.h> |
45 | #include <arch/atomic.h> |
45 | #include <arch/atomic.h> |
46 | 46 | ||
47 | /* |
- | |
48 | * NOTE ON ATOMIC READS: |
- | |
49 | * Some architectures cannot read __u32 atomically. |
- | |
50 | * For that reason, all accesses to nrdy and the likes must be protected by spinlock. |
- | |
51 | */ |
- | |
52 | - | ||
53 | volatile int nrdy; |
47 | volatile int nrdy; |
54 | 48 | ||
55 | 49 | ||
56 | /** Initialize context switching |
50 | /** Initialize context switching |
57 | * |
51 | * |