/kernel/trunk/arch/ppc64/include/interrupt.h |
---|
29,6 → 29,9 |
#ifndef __ppc64_INTERRUPT_H__ |
#define __ppc64_INTERRUPT_H__ |
#include <arch/exception.h> |
#define IRQ_COUNT 1 |
#define IVT_ITEMS 15 |
#define INT_OFFSET 0 |
/kernel/trunk/arch/ppc64/src/ppc64.c |
---|
31,6 → 31,7 |
#include <arch/console.h> |
#include <arch/mm/memory_init.h> |
#include <arch/interrupt.h> |
#include <mm/frame.h> |
bootinfo_t bootinfo; |