Searched refs:mk_inits (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 1885 def mk_inits(prefix): function in function:TaggedUnion.generate 1894 "gen_inits": mk_inits("%s." % self.name), 1895 "ptr_inits": mk_inits("%s_ptr->" % self.name), 2501 def mk_inits(prefix): function in function:Block.generate 2509 "gen_inits": mk_inits("%s." % self.name), 2510 "ptr_inits": mk_inits("%s_ptr->" % self.name),
|
/seL4-test-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 1885 def mk_inits(prefix): function in function:TaggedUnion.generate 1894 "gen_inits": mk_inits("%s." % self.name), 1895 "ptr_inits": mk_inits("%s_ptr->" % self.name), 2501 def mk_inits(prefix): function in function:Block.generate 2509 "gen_inits": mk_inits("%s." % self.name), 2510 "ptr_inits": mk_inits("%s_ptr->" % self.name),
|
/seL4-test-master/kernel/tools/ |
H A D | bitfield_gen.py | 1885 def mk_inits(prefix): function in function:TaggedUnion.generate 1894 "gen_inits": mk_inits("%s." % self.name), 1895 "ptr_inits": mk_inits("%s_ptr->" % self.name), 2501 def mk_inits(prefix): function in function:Block.generate 2509 "gen_inits": mk_inits("%s." % self.name), 2510 "ptr_inits": mk_inits("%s_ptr->" % self.name),
|
Completed in 46 milliseconds