/SPARTAN/trunk/arch/ia32/src/pm.c |
---|
34,6 → 34,7 |
#include <arch/asm.h> |
#include <arch/context.h> |
#include <panic.h> |
#include <arch/mm/page.h> |
/* |
* Early ia32 configuration functions and data structures. |
158,10 → 159,6 |
); |
} |
void pm_init(void) |
{ |
struct descriptor *gdt_p = (struct descriptor *) PA2KA(gdtr.base); |
/SPARTAN/trunk/arch/ia32/src/mm/page.c |
---|
37,15 → 37,6 |
#include <synch/spinlock.h> |
#include <debug.h> |
/* |
* Note. |
* This is the preliminary code for controlling paging mechanism on ia32. It is |
* needed by other parts of the kernel for its ability to map virtual addresses |
* to physical. SMP code relies on this feature. Other than that, this code is |
* by no means meant to implement virtual memory in terms of swapping pages in |
* and out. |
*/ |
__address bootstrap_dba; |
void page_arch_init(void) |
/SPARTAN/trunk/arch/ia32/src/drivers/ega.c |
---|
29,6 → 29,7 |
#include <arch/ega.h> |
#include <putchar.h> |
#include <mm/page.h> |
#include <arch/mm/page.h> |
#include <synch/spinlock.h> |
#include <arch/types.h> |
#include <arch/asm.h> |