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

/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/
H A DMakefile22 TYPES=data/types.txt macro
61 --ext-types=$(TYPES) \
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/
H A DMakefile22 TYPES=data/types.txt macro
65 --ext-types=$(TYPES) \
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/
H A DMakefile21 TYPES=data/types.txt macro
71 --ext-types=$(TYPES) \
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/
H A DMakefile22 TYPES=data/types.txt macro
100 --ext-types=$(TYPES) \
/seL4-camkes-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-camkes-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-camkes-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 120 milliseconds