alloc.h [code] | Allocator using a bit-array |
ARCH-amd64/apic.h [code] | |
ARCH-x86/apic.h [code] | |
atomic.h [code] | Atomic operations header and generic implementations |
ARCH-amd64/atomic_arch.h [code] | I386 atomic operations |
ARCH-arm/atomic_arch.h [code] | |
ARCH-x86/atomic_arch.h [code] | I386 atomic operations |
base64.h [code] | |
bitops.h [code] | Bit manipulation functions |
ARCH-amd64/bitops_arch.h [code] | Amd64 bit manipulation functions |
ARCH-arm/bitops_arch.h [code] | |
ARCH-x86/bitops_arch.h [code] | X86 bit manipulation functions |
ARCH-amd64/cpu.h [code] | |
ARCH-arm/cpu.h [code] | CPU related functions |
ARCH-x86/cpu.h [code] | CPU related functions |
elf.h [code] | |
getopt.h [code] | |
ARCH-amd64/idt.h [code] | |
ARCH-x86/idt.h [code] | |
ARCH-amd64/irq.h [code] | |
ARCH-arm/irq.h [code] | |
ARCH-x86/irq.h [code] | IDT related functions |
kprintf.h [code] | Printf using the kernel debugger |
ARCH-amd64/l4_macros.h [code] | Main function |
ARCH-amd64/L4API-l4v2/l4_macros.h [code] | Some useful generic macros, L4 v2 version |
ARCH-arm/l4_macros.h [code] | Main function |
ARCH-arm/L4API-l4v2/l4_macros.h [code] | Some useful generic macros, L4 v2 version |
ARCH-x86/l4_macros.h [code] | Main function |
ARCH-x86/L4API-l4v2/l4_macros.h [code] | Some useful generic macros, L4 v2 version |
list_alloc.h [code] | Simple list-based allocator |
lock.h [code] | Simple lock implementation |
lock_wq.h [code] | Better lock implementation (in comparison to lock.h) |
macros.h [code] | Some useful generic macros |
mb_info.h [code] | |
ARCH-amd64/mbi_argv.h [code] | |
ARCH-arm/mbi_argv.h [code] | |
ARCH-x86/mbi_argv.h [code] | Command line handling |
memdesc.h [code] | |
parse_cmd.h [code] | Comfortable command-line parsing |
ARCH-amd64/perform.h [code] | |
ARCH-x86/perform.h [code] | |
ARCH-amd64/port_io.h [code] | |
ARCH-x86/port_io.h [code] | X86 port I/O |
prio.h [code] | Thread priority related functions |
queue.h [code] | |
rand.h [code] | Simple Pseudo-Random Number Generator |
ARCH-amd64/rdtsc.h [code] | |
ARCH-x86/rdtsc.h [code] | Time stamp counter related functions |
reboot.h [code] | Machine restarting |
ARCH-amd64/L4API-l4v2/setjmp.h [code] | Inter-thread setjmp/longjmp |
ARCH-x86/L4API-l4v2/setjmp.h [code] | Inter-thread setjmp/longjmp |
sll.h [code] | |
slmap.h [code] | |
ARCH-amd64/spin.h [code] | |
ARCH-x86/spin.h [code] | |
stack.h [code] | Some helper functions for stack manipulation |
ARCH-amd64/stack_impl.h [code] | |
ARCH-arm/stack_impl.h [code] | |
ARCH-x86/stack_impl.h [code] | |
thread.h [code] | Low-level Thread Functions |
ARCH-amd64/thread_time.h [code] | |
ARCH-x86/thread_time.h [code] | Functions to acquire thread time fast (without kernel entry) |
ARCH-amd64/util.h [code] | |
ARCH-x86/util.h [code] | |
util.h [code] |