Searched refs:init_arch_types (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/manual/tools/
H A Dgen_invocations.py34 arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values()))
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py262 def init_arch_types(wordsize): function
956 arch_types = init_arch_types(wordsize)
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py262 def init_arch_types(wordsize): function
956 arch_types = init_arch_types(wordsize)

Completed in 29 milliseconds