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

/seL4-l4v-master/seL4/manual/tools/
H A Dgen_invocations.py33 data_types = syscall_stub_gen.init_data_types(WORD_SIZE)
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py230 def init_data_types(wordsize): function
955 data_types = init_data_types(wordsize)
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py230 def init_data_types(wordsize): function
955 data_types = init_data_types(wordsize)

Completed in 37 milliseconds