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
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
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