libsel4/tools/syscall_stub_gen.py

185 class StructType(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_UserContext", wordsize * 17, wordsize),