L4Re Operating System Framework – Interface and Usage Documentation
|
File in amd64/l4 | Includes file in l4 |
---|---|
sys / __vcpu-arch.h | sys / types.h |
sys / segment.h | sys / ipc.h |
sys / segment.h | sys / task.h |
sys / segment.h | sys / thread.h |
sys / utcb.h | sys / types.h |
util / cpu.h | sys / compiler.h |
util / idt.h | sys / l4int.h |
util / idt.h | sys / compiler.h |
util / irq.h | sys / compiler.h |
util / mbi_argv.h | sys / l4int.h |
util / mbi_argv.h | util / mb_info.h |
util / mbi_argv.h | sys / compiler.h |
util / perform.h | sys / types.h |
util / perform.h | sys / compiler.h |
util / rdtsc.h | sys / compiler.h |
util / rdtsc.h | sys / l4int.h |
util / rdtsc.h | sys / kip.h |
util / spin.h | sys / compiler.h |
util / util.h | sys / types.h |
util / util.h | sys / compiler.h |
util / util.h | sys / ipc.h |