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

/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py232 t[0] = TaggedUnion(name=t[2], tagname=t[3], classes=t[5], tags=t[6])
1259 class TaggedUnion: class in inherits:
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py232 t[0] = TaggedUnion(name=t[2], tagname=t[3], classes=t[5], tags=t[6])
1259 class TaggedUnion: class in inherits:
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py232 t[0] = TaggedUnion(name=t[2], tagname=t[3], classes=t[5], tags=t[6])
1259 class TaggedUnion: class in inherits:

Completed in 36 milliseconds