| /seL4-mcs-10.1.1/include/arch/arm/arch/object/ |
| H A D | iospace.h | 39 decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
45 decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
51 performPageInvocationUnmapIO(cap_t cap, cte_t *slot) argument
|
| /seL4-mcs-10.1.1/include/kernel/ |
| H A D | cspace.h | 28 cte_t *slot; member in struct:lookupCapAndSlot_ret
34 cte_t *slot; member in struct:lookupSlot_raw_ret
40 cte_t *slot; member in struct:lookupSlot_ret
46 cte_t *slot; member in struct:resolveAddressBits_ret
|
| /seL4-mcs-10.1.1/include/fastpath/ |
| H A D | fastpath.h | 19 cte_t *slot; local
|
| /seL4-mcs-10.1.1/src/arch/x86/32/object/ |
| H A D | objecttype.c | 41 Mode_deriveCap(cte_t* slot, cap_t cap) argument
202 Mode_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/64/object/ |
| H A D | objecttype.c | 45 Mode_deriveCap(cte_t* slot, cap_t cap) argument
328 Mode_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t extraCaps, word_t* buffer ) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | tcb.c | 34 static exception_t performSetEPTRoot(tcb_t *tcb, cap_t cap, cte_t *slot) argument
|
| H A D | objecttype.c | 27 deriveCap_ret_t Arch_deriveCap(cte_t* slot, cap_t cap) argument
511 Arch_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t* buffer ) argument
[all...] |
| H A D | ioport.c | 114 decodeX86PortControlInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
247 decodeX86PortInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t* buffer ) argument
|
| H A D | iospace.c | 180 decodeX86IOPTInvocation( word_t invLabel, word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
310 decodeX86IOMapInvocation( word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | cspace.c | 143 cte_t *slot; local
[all...] |
| H A D | thread.c | 244 cte_t *slot = caps.excaprefs[i]; local
|
| /seL4-mcs-10.1.1/src/arch/arm/32/machine/ |
| H A D | capdl.c | 118 static cte_t *getMDBParent(cte_t *slot) argument
|
| /seL4-mcs-10.1.1/src/arch/arm/32/object/ |
| H A D | objecttype.c | 42 Arch_deriveCap(cte_t *slot, cap_t cap) argument
550 Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer) argument
|
| /seL4-mcs-10.1.1/src/arch/arm/64/object/ |
| H A D | objecttype.c | 38 Arch_deriveCap(cte_t *slot, cap_t cap) argument
393 Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
|
| /seL4-mcs-10.1.1/src/arch/riscv/object/ |
| H A D | objecttype.c | 28 Arch_deriveCap(cte_t *slot, cap_t cap) argument
264 Arch_decodeInvocation( word_t label, unsigned int length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer ) argument
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | interrupt.c | 105 cte_t *slot; local
150 invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot) argument
173 cte_t *slot; local
[all...] |
| H A D | objecttype.c | 63 deriveCap(cte_t *slot, cap_t cap) argument
569 decodeInvocation(word_t invLabel, word_t length, cptr_t capIndex, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t block, bool_t call, bool_t canDonate, word_t *buffer) argument
|
| H A D | untyped.c | 32 decodeUntypedInvocation(word_t invLabel, word_t length, cte_t *slot, argument
|
| H A D | cnode.c | 497 cteRevoke(cte_t *slot) argument
522 cteDelete(cte_t *slot, bool_t exposed) argument
538 emptySlot(cte_t *slot, cap_t cleanupInfo) argument
566 capRemovable(cap_t cap, cte_t* slot) argument
582 capCyclicZombie(cap_t cap, cte_t *slot) argument
589 finaliseSlot(cte_t *slot, bool_t immediate) argument
639 reduceZombie(cte_t* slot, bool_t immediate) argument
702 cteDeleteOne(cte_t* slot) argument
722 insertNewCap(cte_t *parent, cte_t *slot, cap_t cap) argument
777 ensureNoChildren(cte_t *slot) argument
793 ensureEmptySlot(cte_t *slot) argument
835 slotCapLongRunningDelete(cte_t *slot) argument
861 cte_t *slot; local
[all...] |
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | iospace.c | 132 performARMIOPTInvocationMap(cap_t cap, cte_t *slot, iopde_t *iopdSlot, argument
238 performARMIOMapInvocation(cap_t cap, cte_t *slot, iopte_t *ioptSlot, argument
152 decodeARMIOPTInvocation( word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
256 decodeARMIOMapInvocation( word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer ) argument
[all...] |
| H A D | vcpu.c | 706 decodeARMVCPUInvocation( word_t label, unsigned int length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t* buffer ) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | capdl.c | 111 static cte_t *getMDBParent(cte_t *slot) argument
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | vspace.c | 452 static exception_t performASIDControlInvocation(void* frame, cte_t* slot, cte_t* parent, asid_t asid_base) argument
464 slot local
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | vspace.c | 57 exception_t performASIDControlInvocation(void* frame, cte_t* slot, cte_t* parent, asid_t asid_base) argument
73 slot local
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2173 performASIDControlInvocation(void *frame, cte_t *slot, argument
2186 parent, slot);; local
|