L4Re - L4 Runtime Environment
|
Files | |
file | apic.h [code] |
APIC for AMD64. | |
file | bitops_arch.h [code] |
amd64 bit manipulation functions | |
file | cpu.h [code] |
CPU related functions. | |
file | idt.h [code] |
IDT related functions. | |
file | irq.h [code] |
some PIC and hardware interrupt related functions | |
file | l4_macros.h [code] |
Main function. | |
file | mbi_argv.h [code] |
command line handling | |
file | perform.h [code] |
Perfomance Monitoring using P5/P6 Measurement Counters. | |
file | port_io.h [code] |
Port I/O functions. | |
file | rdtsc.h [code] |
time stamp counter related functions | |
file | spin.h [code] |
Spinning for amd64. | |
file | stack_impl.h [code] |
Stack utilities for amd64. | |
file | util.h [code] |
Utilities, amd64 version. | |