/SPARTAN/trunk/arch/ia32/src/ia32.c |
44,7 → 44,7 |
|
#include <arch/interrupt.h> |
#include <arch/asm.h> |
#include <genarch/firmware/acpi/acpi.h> |
#include <genarch/acpi/acpi.h> |
|
#include <arch/bios/bios.h> |
|
/SPARTAN/trunk/arch/ia32/src/smp/smp.c |
30,8 → 30,8 |
#include <arch/smp/smp.h> |
#include <arch/smp/mps.h> |
#include <arch/smp/ap.h> |
#include <genarch/firmware/acpi/acpi.h> |
#include <genarch/firmware/acpi/madt.h> |
#include <genarch/acpi/acpi.h> |
#include <genarch/acpi/madt.h> |
#include <config.h> |
#include <synch/waitq.h> |
#include <synch/synch.h> |
/SPARTAN/trunk/arch/ia32/src/drivers/ega.c |
58,7 → 58,7 |
ega_putchar('\n'); |
} |
|
void ega_display_char(char ch) |
static void ega_display_char(char ch) |
{ |
__u8 *vram = (__u8 *) PA2KA(VIDEORAM); |
|
68,7 → 68,7 |
/* |
* This function takes care of scrolling. |
*/ |
void ega_check_cursor(void) |
static void ega_check_cursor(void) |
{ |
if (ega_cursor < SCREEN) |
return; |