Cross Reference: /seL4-camkes-master/kernel/manual/tools/libsel4_tools/invocation_header

Cross Reference: invocation_header_gen.py

xref: /seL4-camkes-master/kernel/manual/tools/libsel4_tools/invocation_header_gen.py