Lines Matching refs:StructType
185 class StructType(Type):
280 StructType("seL4_UserContext", wordsize * 19, wordsize),
296 StructType("seL4_UserContext", wordsize * 36, wordsize),
309 StructType("seL4_UserContext", wordsize * 19, wordsize),
328 StructType("seL4_VCPUContext", wordsize * 7, wordsize),
329 StructType("seL4_UserContext", wordsize * 12, wordsize),
350 StructType("seL4_VCPUContext", wordsize * 7, wordsize),
351 StructType("seL4_UserContext", wordsize * 20, wordsize),
359 StructType("seL4_UserContext", wordsize * 32, wordsize),
367 StructType("seL4_UserContext", wordsize * 32, wordsize),