Searched refs:TYPES (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py83 TYPES = { variable
150 return "({0}) {1}".format(TYPES[self.size_bits], var_name)
152 return "({0}) ({1} >> {2})".format(TYPES[self.size_bits], var_name,
755 (param.name, TYPES[64], words[0] % source_words,
756 TYPES[64], words[1] % source_words))
H A Dbitfield_gen.py71 TYPES = { variable
1749 {"type": TYPES[options.environment][self.base],
1771 'type': TYPES[options.environment][self.union_base],
1826 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843 f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1938 "type": TYPES[options.environment][ref.base],
2442 {"type": TYPES[options.environment][self.base],
2449 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
2547 "type": TYPES[options.environment][self.base],
/seL4-test-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py83 TYPES = { variable
150 return "({0}) {1}".format(TYPES[self.size_bits], var_name)
152 return "({0}) ({1} >> {2})".format(TYPES[self.size_bits], var_name,
755 (param.name, TYPES[64], words[0] % source_words,
756 TYPES[64], words[1] % source_words))
H A Dbitfield_gen.py71 TYPES = { variable
1749 {"type": TYPES[options.environment][self.base],
1771 'type': TYPES[options.environment][self.union_base],
1826 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843 f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1938 "type": TYPES[options.environment][ref.base],
2442 {"type": TYPES[options.environment][self.base],
2449 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
2547 "type": TYPES[options.environment][self.base],
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py71 TYPES = { variable
1749 {"type": TYPES[options.environment][self.base],
1771 'type': TYPES[options.environment][self.union_base],
1826 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843 f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1938 "type": TYPES[options.environment][ref.base],
2442 {"type": TYPES[options.environment][self.base],
2449 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
2547 "type": TYPES[options.environment][self.base],

Completed in 42 milliseconds