Cross Reference: /seL4-test-master/kernel/manual/tools/libsel4_tools/syscall_header

Cross Reference: syscall_header_gen.py

xref: /seL4-test-master/kernel/manual/tools/libsel4_tools/syscall_header_gen.py