HelenOS sources

arch.h   39 boot/arch/arm32/include/arch/asm.h #include <arch/arch.h>
arch.h   30 boot/arch/arm32/src/asm.S #include <arch/arch.h>
arch.h   30 boot/arch/arm64/src/asm.S #include <arch/arch.h>
arch.h   38 boot/arch/arm64/src/main.c #include <arch/arch.h>
arch.h   31 boot/arch/ia64/src/asm.S #include <arch/arch.h>
arch.h   31 boot/arch/ia64/src/boot.S #include <arch/arch.h>
arch.h   32 boot/arch/ia64/src/main.c #include <arch/arch.h>
arch.h   29 boot/arch/ia64/src/putchar.c #include <arch/arch.h>
arch.h   30 boot/arch/mips32/src/asm.S #include <arch/arch.h>
arch.h   30 boot/arch/mips32/src/main.c #include <arch/arch.h>
arch.h   31 boot/arch/mips32/src/putchar.c #include <arch/arch.h>
arch.h   30 boot/arch/ppc32/src/asm.S #include <arch/arch.h>
arch.h   30 boot/arch/ppc32/src/main.c #include <arch/arch.h>
arch.h   30 boot/arch/riscv64/src/asm.S #include <arch/arch.h>
arch.h   30 boot/arch/riscv64/src/main.c #include <arch/arch.h>
arch.h   30 boot/arch/riscv64/src/putchar.c #include <arch/arch.h>
arch.h   30 boot/arch/riscv64/src/ucb.c #include <arch/arch.h>
arch.h   31 boot/arch/sparc64/src/asm.S #include <arch/arch.h>
arch.h   31 boot/arch/sparc64/src/main.c #include <arch/arch.h>
arch.h   35 boot/arch/sparc64/src/ofw.c #include <arch/arch.h>
arch.h   29 boot/genarch/src/ofw.c #include <arch/arch.h>
arch.h   34 boot/generic/src/payload.c #include <arch/arch.h>
arch.h   35 kernel/arch/abs32le/src/abs32le.c #include <arch.h>
arch.h   37 kernel/arch/abs32le/src/cpu/cpu.c #include <arch.h>
arch.h   37 kernel/arch/abs32le/src/userspace.c #include <arch.h>
arch.h   35 kernel/arch/amd64/src/amd64.c #include <arch.h>
arch.h   36 kernel/arch/amd64/src/amd64.c #include <arch/arch.h>
arch.h   40 kernel/arch/amd64/src/cpu/cpu.c #include <arch.h>
arch.h   45 kernel/arch/amd64/src/ddi/ddi.c #include <arch.h>
arch.h   51 kernel/arch/amd64/src/drivers/i8254.c #include <arch.h>
arch.h   46 kernel/arch/amd64/src/interrupt.c #include <arch.h>
arch.h   36 kernel/arch/amd64/src/pm.c #include <arch.h>
arch.h   39 kernel/arch/amd64/src/proc/scheduler.c #include <arch.h>
arch.h   47 kernel/arch/amd64/src/smp/apic.c #include <arch.h>
arch.h   40 kernel/arch/amd64/src/userspace.c #include <arch.h>
arch.h   36 kernel/arch/arm32/src/arm32.c #include <arch.h>
arch.h   37 kernel/arch/arm32/src/arm32.c #include <arch/arch.h>
arch.h   40 kernel/arch/arm32/src/cpu/cpu.c #include <arch.h>
arch.h   37 kernel/arch/arm32/src/fpu_context.c #include <arch.h>
arch.h   42 kernel/arch/arm32/src/mm/as.c #include <arch.h>
arch.h   41 kernel/arch/arm32/src/mm/page_fault.c #include <arch.h>
arch.h   45 kernel/arch/arm32/src/ras.c #include <arch.h>
arch.h   37 kernel/arch/arm64/src/arm64.c #include <arch.h>
arch.h   38 kernel/arch/arm64/src/arm64.c #include <arch/arch.h>
arch.h   39 kernel/arch/ia32/src/cpu/cpu.c #include <arch.h>
arch.h   46 kernel/arch/ia32/src/ddi/ddi.c #include <arch.h>
arch.h   51 kernel/arch/ia32/src/drivers/i8254.c #include <arch.h>
arch.h   37 kernel/arch/ia32/src/fpu_context.c #include <arch.h>
arch.h   37 kernel/arch/ia32/src/ia32.c #include <arch.h>
arch.h   38 kernel/arch/ia32/src/ia32.c #include <arch/arch.h>
arch.h   48 kernel/arch/ia32/src/interrupt.c #include <arch.h>
arch.h   39 kernel/arch/ia32/src/proc/scheduler.c #include <arch.h>
arch.h   47 kernel/arch/ia32/src/smp/apic.c #include <arch.h>
arch.h   39 kernel/arch/ia32/src/userspace.c #include <arch.h>
arch.h   36 kernel/arch/ia64/src/cpu/cpu.c #include <arch.h>
arch.h   44 kernel/arch/ia64/src/drivers/it.c #include <arch.h>
arch.h   47 kernel/arch/ia64/src/drivers/ski.c #include <arch.h>
arch.h   35 kernel/arch/ia64/src/ia64.c #include <arch.h>
arch.h   36 kernel/arch/ia64/src/ia64.c #include <arch/arch.h>
arch.h   47 kernel/arch/ia64/src/interrupt.c #include <arch.h>
arch.h   52 kernel/arch/ia64/src/mm/tlb.c #include <arch.h>
arch.h   37 kernel/arch/ia64/src/proc/scheduler.c #include <arch.h>
arch.h   37 kernel/arch/mips32/src/cpu/cpu.c #include <arch.h>
arch.h   42 kernel/arch/mips32/src/debugger.c #include <arch.h>
arch.h   40 kernel/arch/mips32/src/exception.c #include <arch.h>
arch.h   37 kernel/arch/mips32/src/fpu_context.c #include <arch.h>
arch.h   38 kernel/arch/mips32/src/interrupt.c #include <arch.h>
arch.h   35 kernel/arch/mips32/src/mips32.c #include <arch.h>
arch.h   36 kernel/arch/mips32/src/mips32.c #include <arch/arch.h>
arch.h   45 kernel/arch/mips32/src/mm/frame.c #include <arch/arch.h>
arch.h   42 kernel/arch/mips32/src/mm/tlb.c #include <arch.h>
arch.h   37 kernel/arch/mips32/src/smp/smp.c #include <arch/arch.h>
arch.h   37 kernel/arch/ppc32/src/cpu/cpu.c #include <arch.h>
arch.h   40 kernel/arch/ppc32/src/interrupt.c #include <arch.h>
arch.h   39 kernel/arch/ppc32/src/mm/as.c #include <arch.h>
arch.h   35 kernel/arch/ppc32/src/ppc32.c #include <arch.h>
arch.h   36 kernel/arch/ppc32/src/ppc32.c #include <arch/arch.h>
arch.h   39 kernel/arch/ppc32/src/proc/scheduler.c #include <arch.h>
arch.h   37 kernel/arch/riscv64/src/cpu/cpu.c #include <arch.h>
arch.h   35 kernel/arch/riscv64/src/riscv64.c #include <arch.h>
arch.h   37 kernel/arch/riscv64/src/riscv64.c #include <arch/arch.h>
arch.h   41 kernel/arch/sparc64/include/arch/arch.h #include <arch.h>
arch.h   47 kernel/arch/sparc64/include/arch/arch.h #include <arch/sun4u/arch.h>
arch.h   49 kernel/arch/sparc64/include/arch/arch.h #include <arch/sun4v/arch.h>
arch.h   38 kernel/arch/sparc64/include/arch/cpu_family.h #include <arch.h>
arch.h   40 kernel/arch/sparc64/include/arch/drivers/pci.h #include <arch/arch.h>
arch.h   38 kernel/arch/sparc64/include/arch/proc/thread.h #include <arch/arch.h>
arch.h   59 kernel/arch/sparc64/include/arch/sun4u/cpu.h #include <arch/arch.h>
arch.h   41 kernel/arch/sparc64/include/arch/trap/regwin.h #include <arch/arch.h>
arch.h   43 kernel/arch/sparc64/include/arch/trap/sun4v/mmu.h #include <arch/arch.h>
arch.h   44 kernel/arch/sparc64/include/arch/trap/sun4v/mmu.h #include <arch/sun4v/arch.h>
arch.h   30 kernel/arch/sparc64/src/asm.S #include <arch/arch.h>
arch.h   48 kernel/arch/sparc64/src/console.c #include <arch.h>
arch.h   31 kernel/arch/sparc64/src/context.S #include <arch/arch.h>
arch.h   37 kernel/arch/sparc64/src/cpu/sun4u/cpu.c #include <arch.h>
arch.h   37 kernel/arch/sparc64/src/cpu/sun4v/cpu.c #include <arch.h>
arch.h   41 kernel/arch/sparc64/src/debug/stacktrace.c #include <arch.h>
arch.h   48 kernel/arch/sparc64/src/debug/stacktrace.c #include <arch/sun4v/arch.h>
arch.h   42 kernel/arch/sparc64/src/drivers/niagara.c #include <arch.h>
arch.h   44 kernel/arch/sparc64/src/drivers/tick.c #include <arch.h>
arch.h   45 kernel/arch/sparc64/src/mm/sun4u/tlb.c #include <arch.h>
arch.h   47 kernel/arch/sparc64/src/mm/sun4v/tlb.c #include <arch.h>
arch.h   37 kernel/arch/sparc64/src/proc/sun4u/scheduler.c #include <arch.h>
arch.h   37 kernel/arch/sparc64/src/proc/sun4v/scheduler.c #include <arch.h>
arch.h   39 kernel/arch/sparc64/src/proc/sun4v/scheduler.c #include <arch/arch.h>
arch.h   39 kernel/arch/sparc64/src/smp/sun4u/ipi.c #include <arch.h>
arch.h   40 kernel/arch/sparc64/src/smp/sun4u/smp.c #include <arch.h>
arch.h   42 kernel/arch/sparc64/src/smp/sun4v/smp.c #include <arch.h>
arch.h   35 kernel/arch/sparc64/src/sparc64.c #include <arch.h>
arch.h   36 kernel/arch/sparc64/src/sparc64.c #include <arch/arch.h>
arch.h   30 kernel/arch/sparc64/src/sun4u/asm.S #include <arch/arch.h>
arch.h   35 kernel/arch/sparc64/src/sun4u/sparc64.c #include <arch.h>
arch.h   36 kernel/arch/sparc64/src/sun4u/sparc64.c #include <arch/arch.h>
arch.h   44 kernel/arch/sparc64/src/sun4u/sparc64.c #include <arch/arch.h>
arch.h   31 kernel/arch/sparc64/src/sun4u/start.S #include <arch/arch.h>
arch.h   35 kernel/arch/sparc64/src/sun4v/sparc64.c #include <arch.h>
arch.h   36 kernel/arch/sparc64/src/sun4v/sparc64.c #include <arch/arch.h>
arch.h   45 kernel/arch/sparc64/src/sun4v/sparc64.c #include <arch/arch.h>
arch.h   31 kernel/arch/sparc64/src/sun4v/start.S #include <arch/arch.h>
arch.h   37 kernel/arch/sparc64/src/sun4v/start.S #include <arch/sun4v/arch.h>
arch.h   48 kernel/arch/sparc64/src/trap/interrupt.c #include <arch.h>
arch.h   46 kernel/arch/sparc64/src/trap/sun4u/interrupt.c #include <arch.h>
arch.h   45 kernel/arch/sparc64/src/trap/sun4v/interrupt.c #include <arch.h>
arch.h   51 kernel/arch/sparc64/src/trap/sun4v/trap_table.S #include <arch/sun4v/arch.h>
arch.h   45 kernel/genarch/src/ddi/ddi-bitmap.c #include <arch.h>
arch.h   57 kernel/genarch/src/kbrd/kbrd.c #include <arch.h>
arch.h   47 kernel/genarch/src/kbrd/kbrd_at.c #include <arch.h>
arch.h   47 kernel/genarch/src/mm/as_pt.c #include <arch.h>
arch.h   49 kernel/genarch/src/mm/page_ht.c #include <arch.h>
arch.h   42 kernel/genarch/src/srln/srln.c #include <arch.h>
arch.h   44 kernel/generic/include/cpu.h #include <arch.h>
arch.h   44 kernel/generic/include/interrupt.h #include <arch.h>
arch.h   49 kernel/generic/include/mm/as.h #include <arch.h>
arch.h   38 kernel/generic/include/preemption.h #include <arch.h>
arch.h   47 kernel/generic/include/proc/task.h #include <arch.h>
arch.h   50 kernel/generic/include/proc/thread.h #include <arch.h>
arch.h   52 kernel/generic/src/console/cmd.c #include <arch.h>
arch.h   47 kernel/generic/src/console/console.c #include <arch.h>
arch.h   51 kernel/generic/src/console/kconsole.c #include <arch.h>
arch.h   39 kernel/generic/src/cpu/cpu.c #include <arch.h>
arch.h   53 kernel/generic/src/ddi/ddi.c #include <arch.h>
arch.h   50 kernel/generic/src/ddi/irq.c #include <arch.h>
arch.h   45 kernel/generic/src/ipc/event.c #include <arch.h>
arch.h   54 kernel/generic/src/ipc/ipc.c #include <arch.h>
arch.h   37 kernel/generic/src/ipc/ipcrsc.c #include <arch.h>
arch.h   55 kernel/generic/src/ipc/irq.c #include <arch.h>
arch.h   40 kernel/generic/src/ipc/kbox.c #include <arch.h>
arch.h   40 kernel/generic/src/ipc/ops/conctmeto.c #include <arch.h>
arch.h   40 kernel/generic/src/ipc/ops/concttome.c #include <arch.h>
arch.h   44 kernel/generic/src/ipc/ops/pagein.c #include <arch.h>
arch.h   41 kernel/generic/src/ipc/ops/sharein.c #include <arch.h>
arch.h   42 kernel/generic/src/ipc/ops/shareout.c #include <arch.h>
arch.h   35 kernel/generic/src/ipc/sysipc.c #include <arch.h>
arch.h   47 kernel/generic/src/lib/elf.c #include <arch.h>
arch.h   43 kernel/generic/src/lib/halt.c #include <arch.h>
arch.h   42 kernel/generic/src/log/log.c #include <arch.h>
arch.h   47 kernel/generic/src/main/kinit.c #include <arch.h>
arch.h   80 kernel/generic/src/main/main.c #include <arch/arch.h>
arch.h   81 kernel/generic/src/main/main.c #include <arch.h>
arch.h   38 kernel/generic/src/main/shutdown.c #include <arch.h>
arch.h   48 kernel/generic/src/main/uinit.c #include <arch.h>
arch.h   74 kernel/generic/src/mm/as.c #include <arch.h>
arch.h   54 kernel/generic/src/mm/backend_anon.c #include <arch.h>
arch.h   52 kernel/generic/src/mm/backend_elf.c #include <arch.h>
arch.h   47 kernel/generic/src/mm/backend_phys.c #include <arch.h>
arch.h   54 kernel/generic/src/mm/frame.c #include <arch.h>
arch.h   47 kernel/generic/src/mm/km.c #include <arch.h>
arch.h   71 kernel/generic/src/mm/page.c #include <arch.h>
arch.h  113 kernel/generic/src/mm/slab.c #include <arch.h>
arch.h   51 kernel/generic/src/mm/tlb.c #include <arch.h>
arch.h   44 kernel/generic/src/proc/current.c #include <arch.h>
arch.h   44 kernel/generic/src/proc/program.c #include <arch.h>
arch.h   60 kernel/generic/src/proc/scheduler.c #include <arch.h>
arch.h   47 kernel/generic/src/proc/task.c #include <arch.h>
arch.h   47 kernel/generic/src/proc/thread.c #include <arch.h>
arch.h   44 kernel/generic/src/security/perm.c #include <arch.h>
arch.h   42 kernel/generic/src/synch/condvar.c #include <arch.h>
arch.h   43 kernel/generic/src/synch/mutex.c #include <arch.h>
arch.h   42 kernel/generic/src/synch/semaphore.c #include <arch.h>
arch.h   38 kernel/generic/src/synch/smc.c #include <arch.h>
arch.h   45 kernel/generic/src/synch/spinlock.c #include <arch.h>
arch.h   57 kernel/generic/src/synch/waitq.c #include <arch.h>
arch.h   46 kernel/generic/src/syscall/copy.c #include <arch.h>
arch.h   44 kernel/generic/src/syscall/syscall.c #include <arch.h>
arch.h   53 kernel/generic/src/sysinfo/stats.c #include <arch.h>
arch.h   52 kernel/generic/src/time/clock.c #include <arch.h>
arch.h   43 kernel/generic/src/time/delay.c #include <arch.h>
arch.h   47 kernel/generic/src/time/timeout.c #include <arch.h>
arch.h   45 kernel/generic/src/udebug/udebug.c #include <arch.h>
arch.h   45 kernel/generic/src/udebug/udebug_ipc.c #include <arch.h>
arch.h   45 kernel/generic/src/udebug/udebug_ops.c #include <arch.h>
arch.h   38 kernel/test/mm/falloc2.c #include <arch.h>
arch.h   35 kernel/test/mm/mapping1.c #include <arch.h>
arch.h   32 kernel/test/mm/slab1.c #include <arch.h>
arch.h   32 kernel/test/mm/slab2.c #include <arch.h>
arch.h   30 kernel/test/synch/semaphore1.c #include <arch.h>
arch.h   30 kernel/test/synch/semaphore2.c #include <arch.h>
arch.h   35 kernel/test/thread/thread1.c #include <arch.h>