/trunk/kernel/arch/sparc64/src/trap/syscall.c |
38,7 → 38,6 |
#include <syscall/syscall.h> |
#include <panic.h> |
#include <arch/types.h> |
#include <typedefs.h> |
|
unative_t syscall(int n, istate_t *istate, unative_t a1, unative_t a2, unative_t a3, unative_t a4) |
{ |
/trunk/kernel/arch/sparc64/src/trap/interrupt.c |
33,10 → 33,10 |
*/ |
|
#include <arch/interrupt.h> |
#include <arch/sparc64.h> |
#include <arch/trap/interrupt.h> |
#include <interrupt.h> |
#include <ddi/irq.h> |
#include <typedefs.h> |
#include <arch/types.h> |
#include <debug.h> |
#include <arch/asm.h> |
/trunk/kernel/arch/sparc64/src/cpu/cpu.c |
32,14 → 32,11 |
/** @file |
*/ |
|
#include <arch/asm.h> |
#include <cpu.h> |
#include <arch.h> |
#include <print.h> |
#include <arch/register.h> |
#include <genarch/ofw/ofw_tree.h> |
#include <arch/types.h> |
#include <arch/drivers/tick.h> |
#include <print.h> |
|
/** Perform sparc64 specific initialization of the processor structure for the |
* current processor. |
/trunk/kernel/arch/sparc64/src/mm/tlb.c |
44,7 → 44,6 |
#include <arch.h> |
#include <print.h> |
#include <arch/types.h> |
#include <typedefs.h> |
#include <config.h> |
#include <arch/trap/trap.h> |
#include <arch/trap/exception.h> |
/trunk/kernel/arch/sparc64/src/mm/as.c |
34,7 → 34,7 |
|
#include <arch/mm/as.h> |
#include <arch/mm/tlb.h> |
#include <genarch/mm/as_ht.h> |
#include <genarch/mm/page_ht.h> |
#include <genarch/mm/asid_fifo.h> |
#include <debug.h> |
#include <config.h> |
/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> |