/trunk/kernel/arch/sparc64/src/console.c |
56,7 → 56,7 |
#include <genarch/ofw/ofw_tree.h> |
#include <arch.h> |
#include <panic.h> |
#include <func.h> |
#include <string.h> |
#include <print.h> |
|
#define KEYBOARD_POLL_PAUSE 50000 /* 50ms */ |
/trunk/kernel/arch/sparc64/src/drivers/sgcn.c |
38,7 → 38,7 |
#include <arch/drivers/kbd.h> |
#include <genarch/ofw/ofw_tree.h> |
#include <debug.h> |
#include <func.h> |
#include <string.h> |
#include <print.h> |
#include <mm/page.h> |
#include <ipc/irq.h> |
/trunk/kernel/arch/ia32/src/boot/cboot.c |
38,7 → 38,7 |
#include <arch/boot/memmap.h> |
#include <config.h> |
#include <memstr.h> |
#include <func.h> |
#include <string.h> |
|
/* This is a symbol so the type is only dummy. Obtain the value using &. */ |
extern int _hardcoded_unmapped_size; |