sys → l4 Relation

File in x86l4sys	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