| /seL4-refos-master/kernel/src/arch/x86/32/smp/ |
| H A D | ipi.c | 12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-refos-master/kernel/src/arch/x86/64/smp/ |
| H A D | ipi.c | 13 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-refos-master/libs/libmuslc/src/exit/ |
| H A D | atexit.c | 63 static void call(void *p) function
|
| /seL4-refos-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
| /seL4-refos-master/kernel/src/arch/x86/smp/ |
| H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
| /seL4-refos-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 31 static void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, 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 | 170 static exception_t invokeX86PortIn(word_t invLabel, uint16_t port, bool_t call) 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/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 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-refos-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 474 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/object/ |
| H A D | vcpu.c | 326 exception_t invokeVCPUReadReg(vcpu_t *vcpu, word_t field, bool_t call) argument
342 exception_t decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t *buffer) argument
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 decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
97 decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
184 decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
249 decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
|
| /seL4-refos-master/kernel/src/object/ |
| H A D | objecttype.c | 615 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, bool_t firstPhase, word_t *buffer) argument
778 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t block, bool_t call, bool_t canDonate) argument
787 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t block, bool_t call) argument
[all...] |
| H A D | untyped.c | 26 decodeUntypedInvocation(word_t invLabel, word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer) argument
|
| H A D | tcb.c | 927 exception_t decodeReadRegisters(cap_t cap, word_t length, bool_t call, argument
778 decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, cte_t *slot, extra_caps_t excaps, bool_t call, word_t *buffer) argument
1916 invokeTCB_ReadRegisters(tcb_t *tcb_src, bool_t suspendSource, word_t n, word_t arch, bool_t call) argument
|