/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | tcb.c | 840 decodeReadRegisters(cap_t cap, word_t length, bool_t call, argument 698 decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, cte_t* slot, extra_caps_t excaps, bool_t call, word_t *buffer) argument 1525 invokeTCB_ReadRegisters(tcb_t *tcb_src, bool_t suspendSource, word_t n, word_t arch, bool_t call) argument
|
H A D | untyped.c | 32 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 | objecttype.c | 518 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, word_t *buffer) argument 612 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t block, bool_t call) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/ |
H A D | ipi.c | 35 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
H A D | objecttype.c | 511 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 | 182 invokeX86PortIn(word_t invLabel, uint16_t port, bool_t call) argument 247 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-l4v-10.1.1/seL4/src/arch/x86/64/smp/ |
H A D | ipi.c | 19 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/smp/ |
H A D | ipi.c | 18 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
H A D | objecttype.c | 264 Arch_decodeInvocation( 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
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/smp/ |
H A D | ipi.c | 35 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, argument
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | vcpu.c | 571 invokeVCPUReadReg(vcpu_t *vcpu, word_t field, bool_t call) argument 588 decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t* buffer) argument 706 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
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
H A D | objecttype.c | 393 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-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
H A D | objecttype.c | 550 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-l4v-10.1.1/l4v/tools/haskell-translator/ |
H A D | pars_skl.py | 54 call = lhs_pars.Call() variable [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | CODETREE_SIMPLIFIER.sml | 1263 val call: (address * machineWord) -> machineWord = value
|
H A D | CODETREE_OPTIMISER.sml | 981 val call = Eval { function=newLambda, argList=args, resultType = resultType } value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Windows.sml | 365 val (call, k) = value
|
H A D | Foreign.sml | 198 val call: ctype list -> ctype -> symbol -> Memory.voidStar list * Memory.voidStar -> unit value 796 fun call x = callwithAbi abiDefault x (* Have to make it a fun to avoid value restriction *) function
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
H A D | lisp_opsScript.sml | 2794 val call = Q.INST [`imm32`|->`0w - 0x20w`] X64_LISP_CALL_IMM value
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | reg_allocLib.sml | 243 val call = (car rhs = func_tm) handle HOL_ERR _ => false value
|