/SPARTAN/trunk/arch/ia32/src/ia32.c |
---|
45,8 → 45,12 |
#include <arch/interrupt.h> |
#include <arch/asm.h> |
#include <arch/acpi/acpi.h> |
#include <arch/bios/bios.h> |
#include <arch/mm/memory_init.h> |
void arch_pre_mm_init(void) |
{ |
pm_init(); |
/SPARTAN/trunk/arch/ia32/src/pm.c |
---|
35,6 → 35,8 |
#include <arch/context.h> |
#include <panic.h> |
#include <arch/mm/page.h> |
#include <mm/heap.h> |
#include <memstr.h> |
/* |
* Early ia32 configuration functions and data structures. |
/SPARTAN/trunk/arch/ia32/src/smp/mps.c |
---|
40,6 → 40,7 |
#include <cpu.h> |
#include <arch/asm.h> |
#include <arch/bios/bios.h> |
#include <mm/frame.h> |
/* |
* MultiProcessor Specification detection code. |
/SPARTAN/trunk/arch/ia32/src/smp/smp.c |
---|
42,6 → 42,9 |
#include <mm/frame.h> |
#include <mm/page.h> |
#include <mm/heap.h> |
#include <print.h> |
#include <memstr.h> |
#include <arch/i8259.h> |
#ifdef __SMP__ |
136,8 → 139,8 |
if (!(gdt_new = (struct descriptor *) malloc(GDT_ITEMS*sizeof(struct descriptor)))) |
panic("couldn't allocate memory for GDT\n"); |
memcopy(gdt, gdt_new, GDT_ITEMS*sizeof(struct descriptor)); |
memsetb(&gdt_new[TSS_DES], sizeof(struct descriptor), 0); |
memcopy(gdt_new, gdt, GDT_ITEMS*sizeof(struct descriptor)); // swaped |
memsetb((__address)(&gdt_new[TSS_DES]), sizeof(struct descriptor), 0); |
gdtr.base = KA2PA((__address) gdt_new); |
if (l_apic_send_init_ipi(ops->cpu_apic_id(i))) { |
/SPARTAN/trunk/arch/ia32/src/mm/memory_init.c |
---|
28,6 → 28,7 |
#include <arch/boot/memmap.h> |
#include <arch/mm/memory_init.h> |
#include <print.h> |
size_t get_memory_size(void) |
{ |
/SPARTAN/trunk/arch/ia32/src/mm/page.c |
---|
36,6 → 36,7 |
#include <arch/asm.h> |
#include <synch/spinlock.h> |
#include <debug.h> |
#include <memstr.h> |
__address bootstrap_dba; |
71,7 → 72,7 |
*/ |
dba = frame_alloc(FRAME_KA | FRAME_PANIC); |
memcopy(bootstrap_dba, dba, PAGE_SIZE); |
memcopy((void *)dba,(void *)bootstrap_dba , PAGE_SIZE); //swaped |
write_cr3(KA2PA(dba)); |
} |
/SPARTAN/trunk/arch/ia32/src/acpi/madt.c |
---|
35,6 → 35,7 |
#include <panic.h> |
#include <debug.h> |
#include <config.h> |
#include <print.h> |
struct acpi_madt *acpi_madt = NULL; |
/SPARTAN/trunk/arch/ia32/src/acpi/acpi.c |
---|
31,6 → 31,7 |
#include <arch/bios/bios.h> |
#include <mm/page.h> |
#include <print.h> |
#define RSDP_SIGNATURE "RSD PTR " |
#define RSDP_REVISION_OFFS 15 |
/SPARTAN/trunk/arch/ia32/src/drivers/i8259.c |
---|
31,6 → 31,7 |
#include <arch/types.h> |
#include <arch/asm.h> |
#include <arch.h> |
#include <print.h> |
/* |
* This is the PIC driver. |
/SPARTAN/trunk/arch/ia32/src/drivers/i8254.c |
---|
36,7 → 36,9 |
#include <config.h> |
#include <arch/pm.h> |
#include <arch/asm.h> |
#include <arch/cpuid.h> |
#include <arch.h> |
#include <time/delay.h> |
/* |
* i8254 chip driver. |
/SPARTAN/trunk/arch/ia32/src/drivers/ega.c |
---|
33,6 → 33,7 |
#include <synch/spinlock.h> |
#include <arch/types.h> |
#include <arch/asm.h> |
#include <memstr.h> |
/* |
* The EGA driver. |
72,7 → 73,7 |
if (ega_cursor < SCREEN) |
return; |
memcopy(PA2KA(VIDEORAM) + ROW*2, PA2KA(VIDEORAM), (SCREEN - ROW)*2); |
memcopy((void *)PA2KA(VIDEORAM),(void *)PA2KA(VIDEORAM) + ROW*2, (SCREEN - ROW)*2); //swaped |
memsetw(PA2KA(VIDEORAM) + (SCREEN - ROW)*2, ROW, 0x0720); |
ega_cursor = ega_cursor - ROW; |
} |