Lines Matching refs:Type
91 class Type(object):
132 Return a new Type class representing a pointer to this
156 class PointerType(Type):
162 Type.__init__(self, base_type.name, wordsize, wordsize)
176 class CapType(Type):
182 Type.__init__(self, name, wordsize, wordsize)
185 class StructType(Type):
191 Type.__init__(self, name, size_bits, wordsize)
201 class BitFieldType(Type):
207 Type.__init__(self, name, size_bits, wordsize)
233 Type("int", 32, wordsize),
234 Type("long", wordsize, wordsize),
236 Type("seL4_Uint8", 8, wordsize),
237 Type("seL4_Uint16", 16, wordsize),
238 Type("seL4_Uint32", 32, wordsize),
239 Type("seL4_Uint64", 64, wordsize, double_word=(wordsize == 32)),
240 Type("seL4_Time", 64, wordsize, double_word=(wordsize == 32)),
241 Type("seL4_Word", wordsize, wordsize),
242 Type("seL4_Bool", 1, wordsize, native_size_bits=8),
271 Type("seL4_ARM_VMAttributes", wordsize, wordsize),
284 Type("seL4_ARM_VMAttributes", wordsize, wordsize),
300 Type("seL4_ARM_VMAttributes", wordsize, wordsize),
313 Type("seL4_X86_VMAttributes", wordsize, wordsize),
333 Type("seL4_X86_VMAttributes", wordsize, wordsize),
354 Type("seL4_RISCV_VMAttributes", wordsize, wordsize),
362 Type("seL4_RISCV_VMAttributes", wordsize, wordsize),