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

/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py822 type_names = {}
824 type_names[i.name] = i
887 input_params = [Parameter("_service", type_names[interface_name])]
900 param_type = type_names.get(param.getAttribute("type"))
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py822 type_names = {}
824 type_names[i.name] = i
887 input_params = [Parameter("_service", type_names[interface_name])]
900 param_type = type_names.get(param.getAttribute("type"))
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dpack_unpack.c36 static const char * const type_names[] = { variable
47 #define type_name(x) type_names[json_typeof(x)]

Completed in 55 milliseconds