Searched refs:CapType (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py176 class CapType(Type): class in inherits: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_SchedContro
[all...]
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py176 class CapType(Type): class in inherits: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_SchedContro
[all...]

Completed in 29 milliseconds