| /seL4-refos-master/kernel/include/benchmark/ |
| H A D | benchmark_track.h | 50 static inline void benchmark_debug_syscall_start(word_t cptr, word_t msgInfo, word_t syscall) argument
|
| /seL4-refos-master/kernel/src/arch/arm/ |
| H A D | c_traps.c | 126 void VISIBLE c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) argument
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 87 word_t cptr; local
96 word_t cptr; local
|
| /seL4-refos-master/kernel/src/arch/riscv/ |
| H A D | c_traps.c | 160 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, argument
|
| /seL4-refos-master/kernel/src/arch/x86/ |
| H A D | c_traps.c | 142 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) argument
|
| /seL4-refos-master/libs/librefos/include/refos-rpc/ |
| H A D | rpc.h | 54 typedef seL4_CPtr cptr; typedef
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
| H A D | rpc.h | 54 typedef seL4_CPtr cptr; typedef
|
| /seL4-refos-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 317 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-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 239 seL4_CPtr cptr = slot->capPtr; local
|
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 239 seL4_CPtr cptr = slot->capPtr; local
|
| /seL4-refos-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 24 void NORETURN fastpath_call(word_t cptr, word_t msgInfo) argument
231 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) argument
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | functions.h | 77 LIBSEL4_INLINE_FUNC void seL4_SetCap(int i, seL4_CPtr cptr) argument
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | functions.h | 77 LIBSEL4_INLINE_FUNC void seL4_SetCap(int i, seL4_CPtr cptr) argument
|
| /seL4-refos-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 193 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-refos-master/kernel/src/arch/x86/object/ |
| H A D | objecttype.c | 504 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
|
| H A D | ioport.c | 103 decodeX86PortControlInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
233 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
|
| /seL4-refos-master/kernel/include/fastpath/ |
| H A D | fastpath.h | 10 static inline cap_t FORCE_INLINE lookup_fp(cap_t cap, cptr_t cptr) argument
|
| /seL4-refos-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 291 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-refos-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 536 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, argument
|
| /seL4-refos-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 474 exception_t Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr, argument
|
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | object.h | 31 seL4_CPtr cptr; member in struct:vka_object
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object.h | 31 seL4_CPtr cptr; member in struct:vka_object
[all...] |
| /seL4-refos-master/kernel/src/arch/arm/object/ |
| H A D | vcpu.c | 462 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
|
| H A D | smmu.c | 21 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, argument
97 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, argument
184 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, argument
249 exception_t decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr, argument
|
| /seL4-refos-master/kernel/src/api/ |
| H A D | syscall.c | 100 word_t cptr = getRegister(NODE_STATE(ksCurThread), capRegister); local
112 word_t cptr = getRegister(NODE_STATE(ksCurThread), capRegister); local
366 static exception_t handleInvocation(bool_t isCall, bool_t isBlocking, bool_t canDonate, bool_t firstPhase, cptr_t cptr) argument
382 cptr_t cptr = getRegister(thread, capRegister); local
[all...] |