kernel.h   47 bsp/hal/arm/arch/context.c #include <kernel.h>
kernel.h   34 bsp/hal/arm/arch/cpu.c #include <kernel.h>
kernel.h   41 bsp/hal/arm/arch/mmu.c #include <kernel.h>
kernel.h   35 bsp/hal/arm/arch/trap.c #include <kernel.h>
kernel.h   35 bsp/hal/arm/gba/clock.c #include <kernel.h>
kernel.h   35 bsp/hal/arm/gba/diag.c #include <kernel.h>
kernel.h   35 bsp/hal/arm/gba/interrupt.c #include <kernel.h>
kernel.h   37 bsp/hal/arm/gba/machdep.c #include <kernel.h>
kernel.h   34 bsp/hal/arm/integrator/clock.c #include <kernel.h>
kernel.h   35 bsp/hal/arm/integrator/diag.c #include <kernel.h>
kernel.h   35 bsp/hal/arm/integrator/interrupt.c #include <kernel.h>
kernel.h   37 bsp/hal/arm/integrator/machdep.c #include <kernel.h>
kernel.h   35 bsp/hal/ppc/arch/clock.c #include <kernel.h>
kernel.h   48 bsp/hal/ppc/arch/context.c #include <kernel.h>
kernel.h   34 bsp/hal/ppc/arch/cpu.c #include <kernel.h>
kernel.h   34 bsp/hal/ppc/arch/trap.c #include <kernel.h>
kernel.h   35 bsp/hal/ppc/prep/diag.c #include <kernel.h>
kernel.h   34 bsp/hal/ppc/prep/interrupt.c #include <kernel.h>
kernel.h   34 bsp/hal/ppc/prep/io.c #include <kernel.h>
kernel.h   37 bsp/hal/ppc/prep/machdep.c #include <kernel.h>
kernel.h   48 bsp/hal/x86/arch/context.c #include <kernel.h>
kernel.h   35 bsp/hal/x86/arch/cpu.c #include <kernel.h>
kernel.h   41 bsp/hal/x86/arch/mmu.c #include <kernel.h>
kernel.h   35 bsp/hal/x86/arch/trap.c #include <kernel.h>
kernel.h   34 bsp/hal/x86/pc/clock.c #include <kernel.h>
kernel.h   34 bsp/hal/x86/pc/diag.c #include <kernel.h>
kernel.h   35 bsp/hal/x86/pc/interrupt.c #include <kernel.h>
kernel.h   34 bsp/hal/x86/pc/machdep.c #include <kernel.h>
kernel.h   58 sys/ipc/msg.c  #include <kernel.h>
kernel.h   59 sys/ipc/object.c #include <kernel.h>
kernel.h   34 sys/kern/debug.c #include <kernel.h>
kernel.h   44 sys/kern/device.c #include <kernel.h>
kernel.h   73 sys/kern/exception.c #include <kernel.h>
kernel.h   61 sys/kern/irq.c #include <kernel.h>
kernel.h   34 sys/kern/main.c #include <kernel.h>
kernel.h   83 sys/kern/sched.c #include <kernel.h>
kernel.h   34 sys/kern/sysent.c #include <kernel.h>
kernel.h   34 sys/kern/system.c #include <kernel.h>
kernel.h   34 sys/kern/task.c #include <kernel.h>
kernel.h   34 sys/kern/thread.c #include <kernel.h>
kernel.h   34 sys/kern/timer.c #include <kernel.h>
kernel.h   34 sys/lib/queue.c #include <kernel.h>
kernel.h   34 sys/lib/string.c #include <kernel.h>
kernel.h   34 sys/lib/vsprintf.c #include <kernel.h>
kernel.h   55 sys/mem/kmem.c #include <kernel.h>
kernel.h   47 sys/mem/page.c #include <kernel.h>
kernel.h   47 sys/mem/vm.c   #include <kernel.h>
kernel.h   42 sys/mem/vm_nommu.c #include <kernel.h>
kernel.h   34 sys/sync/cond.c #include <kernel.h>
kernel.h   71 sys/sync/mutex.c #include <kernel.h>
kernel.h   34 sys/sync/sem.c #include <kernel.h>