L4Re Operating System Framework
Interface and Usage Documentation
|
Files | |
bitops_arch.h | |
amd64 bit manipulation functions | |
cpu.h | |
CPU related functions. | |
idt.h | |
IDT related functions. | |
irq.h | |
some PIC and hardware interrupt related functions | |
l4_macros.h | |
Main function. | |
mbi_argv.h | |
command line handling | |
perform.h | |
Perfomance Monitoring using P5/P6 Measurement Counters. | |
port_io.h | |
Port I/O functions. | |
rdtsc.h | |
Timestamp counter related functions. | |
spin.h | |
Spinning for amd64. | |