| /seL4-master/include/arch/arm/arch/64/mode/machine/ |
| A D | fpu.h | 87 word_t cptr; in enableTrapFpu() local
96 word_t cptr; in disableTrapFpu() local
|
| /seL4-master/src/api/ |
| A D | syscall.c | 96 word_t cptr = getRegister(NODE_STATE(ksCurThread), capRegister); in handleUnknownSyscall() local
108 word_t cptr = getRegister(NODE_STATE(ksCurThread), capRegister); in handleUnknownSyscall() local
362 …andleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, bool_t firstPhase, cptr_t cptr) in handleInvocation()
378 cptr_t cptr = getRegister(thread, capRegister); in handleInvocation() local
598 #define handleInvocation(isCall, isBlocking, canDonate, firstPhase, cptr) handleInvocation(isCall, … argument
|
| /seL4-master/include/benchmark/ |
| A D | benchmark_track.h | 50 static inline void benchmark_debug_syscall_start(word_t cptr, word_t msgInfo, word_t syscall) in benchmark_debug_syscall_start()
|
| /seL4-master/src/arch/arm/object/ |
| A D | smmu.c | 21 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMSIDControlInvocation()
96 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMSIDInvocation()
182 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMCBControlInvocation()
246 exception_t decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr, in decodeARMCBInvocation()
|
| A D | vcpu.c | 473 cptr_t cptr, in decodeARMVCPUInvocation()
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 22 void NORETURN fastpath_call(word_t cptr, word_t msgInfo) in fastpath_call()
227 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) in fastpath_reply_recv()
|
| /seL4-master/src/arch/x86/ |
| A D | c_traps.c | 145 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) in c_handle_syscall()
|
| /seL4-master/src/arch/riscv/ |
| A D | c_traps.c | 208 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) in c_handle_syscall()
|
| /seL4-master/src/arch/arm/ |
| A D | c_traps.c | 127 void VISIBLE c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) in c_handle_syscall()
|
| /seL4-master/src/arch/x86/64/object/ |
| A D | objecttype.c | 320 cptr_t cptr, in Mode_decodeInvocation()
|
| /seL4-master/src/arch/x86/32/object/ |
| A D | objecttype.c | 196 cptr_t cptr, in Mode_decodeInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | ioport.c | 106 cptr_t cptr, in decodeX86PortControlInvocation()
235 cptr_t cptr, in decodeX86PortInvocation()
|
| A D | objecttype.c | 507 cptr_t cptr, in Arch_decodeInvocation()
|
| A D | vcpu.c | 940 cptr_t cptr, in decodeX86VCPUInvocation()
|
| /seL4-master/include/fastpath/ |
| A D | fastpath.h | 10 static inline cap_t FORCE_INLINE lookup_fp(cap_t cap, cptr_t cptr) in lookup_fp()
|
| /seL4-master/libsel4/include/sel4/ |
| A D | functions.h | 76 LIBSEL4_INLINE_FUNC void seL4_SetCap(int i, seL4_CPtr cptr) in seL4_SetCap()
|
| /seL4-master/src/arch/arm/64/object/ |
| A D | objecttype.c | 474 exception_t Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr,
|
| /seL4-master/src/arch/arm/32/object/ |
| A D | objecttype.c | 536 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr,
|
| /seL4-master/src/arch/riscv/object/ |
| A D | objecttype.c | 294 cptr_t cptr, in Arch_decodeInvocation()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 630 cptr_t cptr, in decodeX86ModeMMUInvocation()
|
| /seL4-master/src/object/ |
| A D | cnode.c | 892 cptr_t cptr; in getReceiveSlots() local
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 1248 cptr_t cptr, in decodeX86MMUInvocation()
|
| A D | ept.c | 366 cptr_t cptr, in decodeX86EPTInvocation()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1996 cptr_t cptr, cte_t *cte, cap_t cap,
2497 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 926 exception_t decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr, in decodeRISCVMMUInvocation()
|