L4Re - L4 Runtime Environment
x86 → l4 Relation
File in x86
Includes file in l4
l4
/
sys
/
__vcpu-arch.h
sys
/
types.h
l4
/
util
/
apic.h
sys
/
compiler.h
l4
/
util
/
apic.h
sys
/
types.h
l4
/
util
/
cpu.h
sys
/
compiler.h
l4
/
util
/
idt.h
sys
/
compiler.h
l4
/
util
/
idt.h
sys
/
l4int.h
l4f
/
l4
/
sys
/
ipc-l42-gcc3-nopic.h
sys
/
consts.h
l4f
/
l4
/
sys
/
ipc.h
sys
/
types.h
l4
/
util
/
irq.h
sys
/
compiler.h
l4
/
util
/
mbi_argv.h
sys
/
compiler.h
l4
/
util
/
mbi_argv.h
sys
/
l4int.h
l4
/
util
/
mbi_argv.h
util
/
mb_info.h
l4
/
util
/
perform.h
sys
/
compiler.h
l4
/
util
/
perform.h
sys
/
types.h
l4f
/
l4
/
util
/
port_io.h
sys
/
compiler.h
l4
/
util
/
port_io.h
sys
/
compiler.h
l4f
/
l4
/
util
/
port_io.h
sys
/
ipc.h
l4
/
util
/
port_io.h
sys
/
l4int.h
l4f
/
l4
/
util
/
port_io.h
sys
/
types.h
l4f
/
l4
/
util
/
port_io.h
sys
/
utcb.h
l4
/
util
/
rdtsc.h
sys
/
compiler.h
l4
/
util
/
rdtsc.h
sys
/
kip.h
l4
/
util
/
rdtsc.h
sys
/
l4int.h
l4f
/
l4
/
sys
/
segment.h
sys
/
compiler.h
l4
/
sys
/
segment.h
sys
/
ipc.h
l4
/
sys
/
segment.h
sys
/
task.h
l4
/
sys
/
segment.h
sys
/
thread.h
l4f
/
l4
/
util
/
setjmp.h
sys
/
compiler.h
l4f
/
l4
/
util
/
setjmp.h
sys
/
types.h
l4
/
util
/
spin.h
sys
/
compiler.h
l4
/
sys
/
utcb.h
sys
/
types.h
l4
/
util
/
util.h
sys
/
compiler.h
l4
/
util
/
util.h
sys
/
ipc.h
l4
/
util
/
util.h
sys
/
types.h
x86
Generated on Sun Nov 25 2018 13:34:56 for L4Re - L4 Runtime Environment by
1.8.13