//kernel/trunk/arch/amd64/src/amd64.c |
---|
34,10 → 34,10 |
#include <proc/thread.h> |
#include <arch/drivers/ega.h> |
#include <arch/vesa.h> |
#include <arch/drivers/vesa.h> |
#include <genarch/i8042/i8042.h> |
#include <arch/i8254.h> |
#include <arch/i8259.h> |
#include <arch/drivers/i8254.h> |
#include <arch/drivers/i8259.h> |
#include <arch/bios/bios.h> |
#include <arch/mm/memory_init.h> |
//kernel/trunk/arch/amd64/src/interrupt.c |
---|
30,7 → 30,7 |
#include <print.h> |
#include <debug.h> |
#include <panic.h> |
#include <arch/i8259.h> |
#include <arch/drivers/i8259.h> |
#include <func.h> |
#include <cpu.h> |
#include <arch/asm.h> |