| /seL4-camkes-master/kernel/include/kernel/ |
| H A D | cspace.h | 46 lookupCap_ret_t lookupCap(tcb_t *thread, cptr_t cPtr);
47 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr);
48 lookupSlot_raw_ret_t lookupSlot(tcb_t *thread, cptr_t capptr);
50 cap_t root, cptr_t capptr,
52 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr,
54 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr,
56 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr,
59 cptr_t capptr,
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/ |
| H A D | types.h | 24 typedef word_t cptr_t; typedef
33 typedef cptr_t seL4_CPtr;
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/ |
| H A D | types.h | 21 typedef word_t cptr_t; typedef
29 typedef cptr_t seL4_CPtr;
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
| H A D | smmu.h | 17 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr,
21 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr,
25 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr,
29 exception_t decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr,
|
| H A D | objecttype.h | 24 cptr_t cptr, cte_t *slot, cap_t cap,
|
| H A D | vcpu.h | 109 cptr_t cptr,
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/ |
| H A D | types.h | 24 typedef word_t cptr_t; typedef
38 typedef cptr_t seL4_CPtr;
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
| H A D | ioport.h | 18 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
20 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
|
| H A D | objecttype.h | 23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
34 exception_t Mode_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
|
| /seL4-camkes-master/kernel/include/api/ |
| H A D | types.h | 32 cptr_t ctReceiveRoot;
33 cptr_t ctReceiveIndex;
59 transfer.ctReceiveRoot = (cptr_t)wptr[0];
60 transfer.ctReceiveIndex = (cptr_t)wptr[1];
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | cspace.c | 15 lookupCap_ret_t lookupCap(tcb_t *thread, cptr_t cPtr)
32 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr)
51 lookupSlot_raw_ret_t lookupSlot(tcb_t *thread, cptr_t capptr)
65 lookupSlot_ret_t lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr,
111 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth)
116 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth)
121 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth)
126 resolveAddressBits_ret_t resolveAddressBits(cap_t nodeCap, cptr_t capptr, word_t n_bits)
|
| H A D | faulthandler.c | 66 cptr_t handlerCPtr;
|
| /seL4-camkes-master/kernel/include/object/ |
| H A D | objecttype.h | 30 cptr_t capIndex, cte_t *slot, cap_t cap,
41 cptr_t capIndex, cte_t *slot, cap_t cap,
|
| H A D | tcb.h | 203 exception_t invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, cptr_t faultep,
220 cptr_t PURE getExtraCPtr(word_t *bufferPtr, word_t i);
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/kernel/ |
| H A D | vspace.h | 46 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/object/ |
| H A D | objecttype.h | 23 cptr_t cptr, cte_t *slot, cap_t cap,
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | ept.h | 47 exception_t decodeX86EPTInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap,
|
| H A D | vspace.h | 104 exception_t decodeX86MMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
107 exception_t decodeX86ModeMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
|
| /seL4-camkes-master/kernel/include/fastpath/ |
| H A D | fastpath.h | 10 static inline cap_t FORCE_INLINE lookup_fp(cap_t cap, cptr_t cptr)
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 54 exception_t decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr,
|
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | smmu.c | 21 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr,
97 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr,
184 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr,
249 exception_t decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr,
|
| /seL4-camkes-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 196 cptr_t cptr,
|
| /seL4-camkes-master/kernel/src/api/ |
| H A D | syscall.c | 366 static exception_t handleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, bool_t firstPhase, cptr_t cptr)
382 cptr_t cptr = getRegister(thread, capRegister);
688 cptr_t reply = getRegister(NODE_STATE(ksCurThread), replyRegister);
697 cptr_t dest = getNBSendRecvDest();
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | ioport.c | 106 cptr_t cptr,
236 cptr_t cptr,
|
| /seL4-camkes-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 320 cptr_t cptr,
|