libsel4/tools/syscall_stub_gen.py

176 class CapType(Type):
248         CapType("seL4_CPtr", wordsize),
249         CapType("seL4_CNode", wordsize),
250         CapType("seL4_IRQHandler", wordsize),
251         CapType("seL4_IRQControl", wordsize),
252         CapType("seL4_TCB", wordsize),
253         CapType("seL4_Untyped", wordsize),
254         CapType("seL4_DomainSet", wordsize),
255         CapType("seL4_SchedContext", wordsize),
256         CapType("seL4_SchedControl", wordsize),
264         CapType("seL4_ARM_SIDControl", wordsize),
265         CapType("seL4_ARM_SID", wordsize),
266         CapType("seL4_ARM_CBControl", wordsize),
267         CapType("seL4_ARM_CB", wordsize),
272             CapType("seL4_ARM_Page", wordsize),
273             CapType("seL4_ARM_PageTable", wordsize),
274             CapType("seL4_ARM_PageDirectory", wordsize),
275             CapType("seL4_ARM_ASIDControl", wordsize),
276             CapType("seL4_ARM_ASIDPool", wordsize),
277             CapType("seL4_ARM_VCPU", wordsize),
278             CapType("seL4_ARM_IOSpace", wordsize),
279             CapType("seL4_ARM_IOPageTable", wordsize),
285             CapType("seL4_ARM_Page", wordsize),
286             CapType("seL4_ARM_PageTable", wordsize),
287             CapType("seL4_ARM_PageDirectory", wordsize),
288             CapType("seL4_ARM_PageUpperDirectory", wordsize),
289             CapType("seL4_ARM_PageGlobalDirectory", wordsize),
290             CapType("seL4_ARM_VSpace", wordsize),
291             CapType("seL4_ARM_ASIDControl", wordsize),
292             CapType("seL4_ARM_ASIDPool", wordsize),
293             CapType("seL4_ARM_VCPU", wordsize),
294             CapType("seL4_ARM_IOSpace", wordsize),
295             CapType("seL4_ARM_IOPageTable", wordsize),
301             CapType("seL4_ARM_Page", wordsize),
302             CapType("seL4_ARM_PageTable", wordsize),
303             CapType("seL4_ARM_PageDirectory", wordsize),
304             CapType("seL4_ARM_ASIDControl", wordsize),
305             CapType("seL4_ARM_ASIDPool", wordsize),
306             CapType("seL4_ARM_VCPU", wordsize),
307             CapType("seL4_ARM_IOSpace", wordsize),
308             CapType("seL4_ARM_IOPageTable", wordsize),
314             CapType("seL4_X86_IOPort", wordsize),
315             CapType("seL4_X86_IOPortControl", wordsize),
316             CapType("seL4_X86_ASIDControl", wordsize),
317             CapType("seL4_X86_ASIDPool", wordsize),
318             CapType("seL4_X86_IOSpace", wordsize),
319             CapType("seL4_X86_Page", wordsize),
320             CapType("seL4_X86_PageDirectory", wordsize),
321             CapType("seL4_X86_PageTable", wordsize),
322             CapType("seL4_X86_IOPageTable", wordsize),
323             CapType("seL4_X86_VCPU", wordsize),
324             CapType("seL4_X86_EPTPML4", wordsize),
325             CapType("seL4_X86_EPTPDPT", wordsize),
326             CapType("seL4_X86_EPTPD", wordsize),
327             CapType("seL4_X86_EPTPT", wordsize),
334             CapType("seL4_X86_IOPort", wordsize),
335             CapType("seL4_X86_IOPortControl", wordsize),
336             CapType("seL4_X86_ASIDControl", wordsize),
337             CapType("seL4_X86_ASIDPool", wordsize),
338             CapType("seL4_X86_IOSpace", wordsize),
339             CapType("seL4_X86_Page", wordsize),
340             CapType("seL4_X64_PML4", wordsize),
341             CapType("seL4_X86_PDPT", wordsize),
342             CapType("seL4_X86_PageDirectory", wordsize),
343             CapType("seL4_X86_PageTable", wordsize),
344             CapType("seL4_X86_IOPageTable", wordsize),
345             CapType("seL4_X86_VCPU", wordsize),
346             CapType("seL4_X86_EPTPML4", wordsize),
347             CapType("seL4_X86_EPTPDPT", wordsize),
348             CapType("seL4_X86_EPTPD", wordsize),
349             CapType("seL4_X86_EPTPT", wordsize),
355             CapType("seL4_RISCV_Page", wordsize),
356             CapType("seL4_RISCV_PageTable", wordsize),
357             CapType("seL4_RISCV_ASIDControl", wordsize),
358             CapType("seL4_RISCV_ASIDPool", wordsize),
363             CapType("seL4_RISCV_Page", wordsize),
364             CapType("seL4_RISCV_PageTable", wordsize),
365             CapType("seL4_RISCV_ASIDControl", wordsize),
366             CapType("seL4_RISCV_ASIDPool", wordsize),
610         if isinstance(x.type, CapType):