/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); |