| /trunk/kernel/genarch/include/fb/fb.h |
|---|
| 38,7 → 38,7 |
| #include <arch/types.h> |
| #include <synch/spinlock.h> |
| extern spinlock_t fb_lock; |
| SPINLOCK_EXTERN(fb_lock); |
| void fb_init(uintptr_t addr, unsigned int x, unsigned int y, unsigned int scan, unsigned int visual); |
| #endif |
| /trunk/kernel/generic/include/print.h |
|---|
| 40,7 → 40,7 |
| #include <arch/arg.h> |
| /* We need this address in spinlock to avoid deadlock in deadlock detection */ |
| extern spinlock_t printflock; |
| SPINLOCK_EXTERN(printflock); |
| #define EOF (-1) |
| /trunk/kernel/generic/include/proc/task.h |
|---|
| 246,7 → 246,7 |
| uint8_t *kstack; /**< Thread's kernel stack. */ |
| } thread_t; |
| extern spinlock_t tasks_lock; |
| SPINLOCK_EXTERN(tasks_lock); |
| extern btree_t tasks_btree; |
| extern void task_init(void); |
| /trunk/kernel/generic/include/proc/thread.h |
|---|
| 60,7 → 60,7 |
| * Must be acquired before T.lock for each T of type thread_t. |
| * |
| */ |
| extern spinlock_t threads_lock; |
| SPINLOCK_EXTERN(threads_lock); |
| extern btree_t threads_btree; /**< B+tree containing all threads. */ |
| /trunk/kernel/generic/include/synch/spinlock.h |
|---|
| 53,6 → 53,7 |
| * where the lock gets initialized in run time. |
| */ |
| #define SPINLOCK_DECLARE(slname) spinlock_t slname |
| #define SPINLOCK_EXTERN(slname) extern spinlock_t slname |
| /* |
| * SPINLOCK_INITIALIZE is to be used for statically allocated spinlocks. |
| 102,10 → 103,9 |
| #else |
| typedef void spinlock_t; |
| /* On UP systems, spinlocks are effectively left out. */ |
| #define SPINLOCK_DECLARE(name) |
| #define SPINLOCK_EXTERN(name) |
| #define SPINLOCK_INITIALIZE(name) |
| #define spinlock_initialize(x, name) |
| /trunk/kernel/generic/include/console/kconsole.h |
|---|
| 69,7 → 69,7 |
| void (* help)(void); /**< Function for printing detailed help. */ |
| } cmd_info_t; |
| extern spinlock_t cmd_lock; |
| SPINLOCK_EXTERN(cmd_lock); |
| extern link_t cmd_head; |
| extern void kconsole_init(void); |
| /trunk/kernel/generic/include/mm/asid.h |
|---|
| 58,7 → 58,7 |
| #define ASIDS_ALLOCABLE ((ASID_MAX + 1) - ASID_START) |
| extern spinlock_t asidlock; |
| SPINLOCK_EXTERN(asidlock); |
| extern link_t as_with_asid_head; |
| #ifndef asid_get |
| /trunk/kernel/generic/include/mm/as.h |
|---|
| 139,7 → 139,7 |
| extern as_t *AS_KERNEL; |
| extern as_operations_t *as_operations; |
| extern spinlock_t inactive_as_with_asid_lock; |
| SPINLOCK_EXTERN(inactive_as_with_asid_lock); |
| extern link_t inactive_as_with_asid_head; |
| extern void as_init(void); |