Searched refs:CapType (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 176 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-l4v-master/seL4/libsel4/tools/ |
H A D | syscall_stub_gen.py | 176 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 79 milliseconds