Searched refs:StructType (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 185 class StructType(Type): class in inherits: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_UserContex
[all...] |
| /seL4-camkes-master/kernel/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 185 class StructType(Type): class in inherits: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_UserContex
[all...] |
Completed in 77 milliseconds