/kernel/trunk/arch/mips32/src/debugger.c |
---|
38,7 → 38,7 |
#include <func.h> |
bpinfo_t breakpoints[BKPOINTS_MAX]; |
spinlock_t bkpoint_lock; |
SPINLOCK_INITIALIZE(bkpoint_lock); |
static int cmd_print_breakpoints(cmd_arg_t *argv); |
static cmd_info_t pbkpt_info = { |
181,7 → 181,6 |
for (i=0; i<BKPOINTS_MAX; i++) |
breakpoints[i].address = NULL; |
spinlock_initialize(&bkpoint_lock, "breakpoint_lock"); |
cmd_initialize(&pbkpt_info); |
if (!cmd_register(&pbkpt_info)) |
/kernel/trunk/arch/mips32/src/mm/asid.c |
---|
33,7 → 33,7 |
#include <debug.h> |
#include <typedefs.h> |
static spinlock_t asid_usage_lock; |
SPINLOCK_INITIALIZE(asid_usage_lock); |
static count_t asid_usage[ASIDS]; /**< Usage tracking array for ASIDs */ |
/** Get ASID |
/kernel/trunk/arch/ia32/src/mm/page.c |
---|
35,7 → 35,6 |
#include <func.h> |
#include <arch/interrupt.h> |
#include <arch/asm.h> |
#include <synch/spinlock.h> |
#include <debug.h> |
#include <memstr.h> |
#include <print.h> |
/kernel/trunk/arch/ia32/src/drivers/i8042.c |
---|
63,7 → 63,7 |
#define PRESSED_CAPSLOCK (1<<1) |
#define LOCKED_CAPSLOCK (1<<0) |
static spinlock_t keylock; /**< keylock protects keyflags and lockflags. */ |
SPINLOCK_INITIALIZE(keylock); /**< keylock protects keyflags and lockflags. */ |
static volatile int keyflags; /**< Tracking of multiple keypresses. */ |
static volatile int lockflags; /**< Tracking of multiple keys lockings. */ |
243,7 → 243,6 |
{ |
exc_register(VECTOR_KBD, "i8042_interrupt", i8042_interrupt); |
trap_virtual_enable_irqs(1<<IRQ_KBD); |
spinlock_initialize(&keylock, "i8042_lock"); |
chardev_initialize("i8042_kbd", &kbrd, &ops); |
stdin = &kbrd; |
} |
/kernel/trunk/arch/ia32/src/drivers/ega.c |
---|
42,7 → 42,7 |
* Simple and short. Function for displaying characters and "scrolling". |
*/ |
static spinlock_t egalock; |
SPINLOCK_INITIALIZE(egalock); |
static __u32 ega_cursor; |
static void ega_putchar(chardev_t *d, const char ch); |