/trunk/kernel/arch/sparc64/src/drivers/fhc.c |
41,10 → 41,9 |
|
#include <arch/drivers/fhc.h> |
#include <arch/trap/interrupt.h> |
#include <arch/mm/page.h> |
#include <mm/page.h> |
#include <mm/slab.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <genarch/ofw/ofw_tree.h> |
|
fhc_t *central_fhc = NULL; |
/trunk/kernel/arch/sparc64/src/drivers/tick.c |
34,9 → 34,9 |
|
#include <arch/drivers/tick.h> |
#include <arch/interrupt.h> |
#include <arch/sparc64.h> |
#include <arch/asm.h> |
#include <arch/register.h> |
#include <typedefs.h> |
#include <arch/cpu.h> |
#include <arch/boot/boot.h> |
#include <time/clock.h> |
/trunk/kernel/arch/sparc64/src/drivers/pci.c |
37,10 → 37,9 |
#include <arch/drivers/pci.h> |
#include <genarch/ofw/ofw_tree.h> |
#include <arch/trap/interrupt.h> |
#include <arch/mm/page.h> |
#include <mm/page.h> |
#include <mm/slab.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <debug.h> |
#include <print.h> |
#include <func.h> |