def init_all_types(): data_type_arr = syscall_stub_gen.init_data_types(WORD_SIZE) arch_type_dict = syscall_stub_gen.init_arch_types(WORD_SIZE) arch_type_arr = reduce(operator.add, (arch_type_dict[a] for a in ARCH_NAMES), []) return data_type_arr + arch_type_arr
def init_all_types(): """ Return an array of all c types involved in the sel4 interface """ data_types = syscall_stub_gen.init_data_types(WORD_SIZE) arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values())) return data_types + arch_types