Searched refs:StructType (Results 1 - 2 of 2) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 185 class StructType(Type): class in inherits:Type
266 StructType("seL4_UserContext", wordsize * 17, wordsize),
281 StructType("seL4_UserContext", wordsize * 34, wordsize),
294 StructType("seL4_UserContext", wordsize * 17, wordsize),
313 StructType("seL4_VCPUContext", wordsize * 7 ,wordsize),
314 StructType("seL4_UserContext", wordsize * 13, wordsize),
335 StructType("seL4_VCPUContext", wordsize * 7 ,wordsize),
336 StructType("seL4_UserContext", wordsize * 19, wordsize),
344 StructType("seL4_UserContext", wordsize * 17, wordsize),
352 StructType("seL4_UserContex
[all...] |
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 185 class StructType(Type): class in inherits:Type
266 StructType("seL4_UserContext", wordsize * 17, wordsize),
281 StructType("seL4_UserContext", wordsize * 34, wordsize),
294 StructType("seL4_UserContext", wordsize * 17, wordsize),
313 StructType("seL4_VCPUContext", wordsize * 7 ,wordsize),
314 StructType("seL4_UserContext", wordsize * 13, wordsize),
335 StructType("seL4_VCPUContext", wordsize * 7 ,wordsize),
336 StructType("seL4_UserContext", wordsize * 19, wordsize),
344 StructType("seL4_UserContext", wordsize * 17, wordsize),
352 StructType("seL4_UserContex
[all...] |
Completed in 82 milliseconds