kern/ primitives
kern/arithmetic_128.hCode duplicated from Libc/gen/nanosleep.c
kern/circle_queue.hCircle Queue Management APIs
kern/coalition.honly kernel-private interfaces
kern/energy_perf.hInterfaces for non-kernel managed devices to inform the kernel of their
kern/exc_guard.hEXC_GUARD related macros, namespace etc.
kern/exc_resource.hEXC_RESOURCE related macros, namespace etc.
kern/extmod_statistics.hkern/extmod_statistics.h
kern/host.hkern/host.h
kern/hv_support_kern.hhv_support_kern.h: machine-independent hypervisor helpers for kernel use
kern/hvg_hypercall.hArchitecture-independent definitions (exported to userland)
kern/ipc_mig.hSend a message from the kernel
kern/kcdata.h THE KCDATA MANIFESTO
kern/ledger.hledger_t, ledger_entry_id_t
kern/percpu.hFor PAGE_MASK
kern/policy_internal.hInterfaces for functionality implemented in task_ or thread_policy subsystem
kern/priority_queue.hA generic priorty ordered queue implementation based on pairing heaps.
kern/thread_call.h@header thread_call.h
kern/thread_group.hThread group support routines.
kern/timer_call.hThe timer_call system is responsible for manipulating timers that call
kern/trustcache.hVersion 1 trust caches: Always sorted by cdhash, added hash type and flags field.