/seL4-camkes-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-camkes-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-camkes-master/projects/musllibc/src/exit/ |
H A D | atexit.c | 63 static void call(void *p) function
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | rpc-connector-common-to.c | 109 unsigned call = 0; local
|
/seL4-camkes-master/kernel/src/arch/arm/smp/ |
H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4RPCNoThreads-to.template.c | 134 unsigned call = 0; local
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | hypervisor.c | 128 multicall_entry_t call; local
|
/seL4-camkes-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
/seL4-camkes-master/kernel/src/arch/riscv/smp/ |
H A D | ipi.c | 31 static void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, argument
|
/seL4-camkes-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-camkes-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-camkes-master/projects/lwip/src/include/netif/ppp/ |
H A D | pppapi.h | 101 struct tcpip_api_call_data call; member in struct:pppapi_msg
|
/seL4-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/detail/ |
H A D | cpp11_zone.hpp | 45 void call() { function in struct:msgpack::zone::finalizer_array
|
H A D | cpp03_zone.hpp | 43 void call() { function in struct:msgpack::zone::finalizer_array
|
/seL4-camkes-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-camkes-master/projects/lwip/src/api/ |
H A D | tcpip.c | 473 tcpip_api_call(tcpip_api_call_fn fn, struct tcpip_api_call_data *call) argument [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/ |
H A D | api_msg.h | 238 struct tcpip_api_call_data call; member in struct:netifapi_msg
|
/seL4-camkes-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
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_aodv.c | 387 void (*call)(union pico_address *from, uint8_t *buf, int len, struct pico_msginfo *msginfo); member in struct:aodv_parser_s
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_socket_multicast.c | 381 int8_t (*call)(struct pico_mcast_listen *); member in struct:pico_mcast_filter_aggregation 1352 int (*call)(struct pico_socket *, void *); member in struct:pico_setsockopt_mcast_call [all...] |