L4Re – L4 Runtime Environment
sys → l4 Relation
File in x86/l4/sys
Includes file in l4
__vcpu-arch.h
sys
/
types.h
segment.h
sys
/
ipc.h
segment.h
sys
/
task.h
segment.h
sys
/
thread.h
utcb.h
sys
/
types.h
x86
l4
sys
Generated on Sat Jul 17 2021 20:02:50 for L4Re – L4 Runtime Environment by
1.9.1