Searched refs:buffer (Results 1 - 25 of 62) sorted by relevance

123

/seL4-mcs-10.1.1/include/64/mode/api/
H A Dipc_buffer.h20 mode_parseTimeArg(word_t i, word_t *buffer) argument
22 return getSyscallArg(i, buffer);
26 mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
28 return setMR(thread, buffer, i, time);
/seL4-mcs-10.1.1/include/32/mode/api/
H A Dipc_buffer.h21 mode_parseTimeArg(word_t i, word_t *buffer) argument
23 return (((ticks_t) getSyscallArg(i + 1, buffer) << 32llu) + getSyscallArg(i, buffer));
27 mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
29 setMR(thread, buffer, i, (uint32_t) time);
30 return setMR(thread, buffer, i + 1, (uint32_t) (time >> 32llu));
/seL4-mcs-10.1.1/src/benchmark/
H A Dbenchmark_utilisation.c23 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0])); local
38 buffer[BENCHMARK_TCB_UTILISATION] = tcb->benchmark.utilisation; /* Requested thread utilisation */
39 buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION] = NODE_STATE(ksIdleThread)->benchmark.utilisation; /* Idle thread utilisation of current CPU */
41 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = NODE_STATE_ON_CORE(ksIdleThread, tcb->tcbAffinity)->benchmark.utilisation; /* Idle thread utilisation of CPU the TCB is running on */
43 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION];
47 buffer[BENCHMARK_TOTAL_UTILISATION] =
50 buffer[BENCHMARK_TOTAL_UTILISATION] = benchmark_end_time - benchmark_start_time; /* Overall time */
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dinterrupt.c28 word_t *buffer)
42 word_t irq_w = getSyscallArg(0, buffer);
44 bool_t trigger = !!getSyscallArg(1, buffer);
45 word_t index = getSyscallArg(2, buffer);
46 word_t depth = getSyscallArg(3, buffer);
64 getExtraCPtr(buffer, 0), (int)irq);
73 getExtraCPtr(buffer, 0), (int)irq);
26 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
/seL4-mcs-10.1.1/include/arch/arm/arch/object/
H A Diospace.h21 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
22 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
39 decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
45 decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
H A Dinterrupt.h21 word_t *buffer);
H A Dvcpu.h96 word_t* buffer
102 exception_t decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t* buffer);
103 exception_t decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t* buffer);
104 exception_t decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t* buffer);
/seL4-mcs-10.1.1/include/arch/riscv/arch/object/
H A Dinterrupt.h20 word_t *buffer);
/seL4-mcs-10.1.1/include/arch/x86/arch/object/
H A Dinterrupt.h21 word_t *buffer);
H A Dioport.h23 exception_t 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);
24 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer);
H A Diospace.h42 exception_t decodeX86IOPTInvocation(word_t invLabel, word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
43 exception_t decodeX86IOMapInvocation(word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
/seL4-mcs-10.1.1/include/object/
H A Dschedcontrol.h21 word_t *buffer);
H A Dtcb.h124 word_t *buffer);
126 extra_caps_t excaps, word_t *buffer);
128 word_t *buffer);
129 exception_t decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer);
131 cte_t* slot, extra_caps_t rootCaps, word_t *buffer);
132 exception_t decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
133 exception_t decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer);
134 exception_t decodeSetSchedParams(cap_t cap, word_t length, cte_t *slot, extra_caps_t excaps, word_t *buffer);
136 cte_t* slot, extra_caps_t excaps, word_t *buffer);
138 cte_t* slot, extra_caps_t excaps, word_t *buffer);
[all...]
H A Dcnode.h27 word_t *buffer);
48 cte_t *getReceiveSlots(tcb_t *thread, word_t *buffer);
49 cap_transfer_t PURE loadCapTransfer(word_t *buffer);
/seL4-mcs-10.1.1/src/arch/riscv/object/
H A Dinterrupt.c33 word_t *buffer)
31 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
/seL4-mcs-10.1.1/src/arch/x86/32/machine/
H A Dregisterset.c58 seL4_IPCBuffer *buffer = (seL4_IPCBuffer *) lookupIPCBuffer(false, NODE_STATE(ksCurThread)); local
59 if (buffer != NULL) {
60 return buffer->reserved;
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dinterrupt.c77 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
107 index = getSyscallArg(0, buffer);
108 depth = getSyscallArg(1, buffer);
110 irq = getSyscallArg(6, buffer);
142 word_t ioapic = getSyscallArg(2, buffer);
143 word_t pin = getSyscallArg(3, buffer);
144 word_t level = getSyscallArg(4, buffer);
145 word_t polarity = getSyscallArg(5, buffer);
157 word_t pci_bus = getSyscallArg(2, buffer);
158 word_t pci_dev = getSyscallArg(3, buffer);
[all...]
H A Dvcpu.c528 invokeVCPUWriteRegisters(vcpu_t *vcpu, word_t *buffer) argument
532 vcpu->gp_registers[i] = getSyscallArg(i, buffer);
539 decodeVCPUWriteRegisters(cap_t cap, word_t length, word_t *buffer) argument
546 return invokeVCPUWriteRegisters(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), buffer);
566 decodeEnableIOPort(cap_t cap, word_t length, word_t* buffer, extra_caps_t excaps) argument
592 low = getSyscallArg(0, buffer);
593 high = getSyscallArg(1, buffer);
617 decodeDisableIOPort(cap_t cap, word_t length, word_t* buffer) argument
628 low = getSyscallArg(0, buffer);
629 high = getSyscallArg(1, buffer);
637 invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) argument
665 decodeWriteVMCS(cap_t cap, word_t length, word_t* buffer) argument
789 invokeReadVMCS(vcpu_t *vcpu, word_t field, word_t *buffer) argument
802 decodeReadVMCS(cap_t cap, word_t length, word_t* buffer) argument
911 decodeSetTCB(cap_t cap, word_t length, word_t* buffer, extra_caps_t excaps) argument
933 word_t *buffer; local
950 word_t *buffer; local
1098 word_t *buffer; local
1103 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_EIP_MR, vmread(VMX_GUEST_RIP)); local
1104 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_PPC_MR, vmread(VMX_CONTROL_PRIMARY_PROCESSOR_CONTROLS)); local
1105 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_ENTRY_MR, vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO)); local
1106 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_REASON_MR, reason); local
1107 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_QUALIFICATION_MR, qualification); local
1109 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_INSTRUCTION_LEN_MR, vmread(VMX_DATA_EXIT_INSTRUCTION_LENGTH)); local
1110 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_GUEST_PHYSICAL_MR, vmread(VMX_DATA_GUEST_PHYSICAL)); local
1111 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_RFLAGS_MR, vmread(VMX_GUEST_RFLAGS)); local
1112 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_GUEST_INT_MR, vmread(VMX_GUEST_INTERRUPTABILITY)); local
1113 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_CR3_MR, vmread(VMX_GUEST_CR3)); local
1116 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_EAX + i, NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->gp_registers[i]); local
[all...]
H A Dioport.c121 word_t* buffer
144 first_port = getSyscallArg(0, buffer) & 0xffff;
145 last_port = getSyscallArg(1, buffer) & 0xffff;
146 index = getSyscallArg(2, buffer);
147 depth = getSyscallArg(3, buffer);
166 userError("Target slot for new IO Port cap invalid: cap %lu.", getExtraCPtr(buffer, 0));
173 userError("Target slot for new IO Port cap not empty: cap %lu.", getExtraCPtr(buffer, 0));
255 word_t* buffer
267 uint16_t port = getSyscallArg(0, buffer) & 0xffff;
292 uint16_t port = getSyscallArg(0, buffer)
[all...]
/seL4-mcs-10.1.1/src/object/
H A Dschedcontrol.c91 decodeSchedControl_Configure(word_t length, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
105 time_t budget_us = mode_parseTimeArg(0, buffer);
106 time_t period_us = mode_parseTimeArg(TIME_ARG_SIZE, buffer);
107 word_t extra_refills = getSyscallArg(TIME_ARG_SIZE * 2, buffer);
108 word_t badge = getSyscallArg(TIME_ARG_SIZE * 2 + 1, buffer);
163 word_t *buffer)
167 return decodeSchedControl_Configure(length, cap, extraCaps, buffer);
162 decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, word_t *buffer) argument
H A Dtcb.c431 invokeConfigureSingleStepping(word_t *buffer, tcb_t *t, argument
439 setMR(NODE_STATE(ksCurThread), buffer, 0, false); local
442 setMR(NODE_STATE(ksCurThread), buffer, 0, bp_was_consumed); local
448 decodeConfigureSingleStepping(cap_t cap, word_t *buffer) argument
457 bp_num = getSyscallArg(0, buffer);
458 n_instrs = getSyscallArg(1, buffer);
467 return invokeConfigureSingleStepping(buffer, tcb, bp_num, n_instrs);
481 decodeSetBreakpoint(cap_t cap, word_t *buffer) argument
489 bp_num = getSyscallArg(0, buffer);
490 vaddr = getSyscallArg(1, buffer);
599 invokeGetBreakpoint(word_t *buffer, tcb_t *tcb, uint16_t bp_num) argument
604 setMR(NODE_STATE(ksCurThread), buffer, 0, res.vaddr); local
605 setMR(NODE_STATE(ksCurThread), buffer, 1, res.type); local
606 setMR(NODE_STATE(ksCurThread), buffer, 2, res.size); local
607 setMR(NODE_STATE(ksCurThread), buffer, 3, res.rw); local
608 setMR(NODE_STATE(ksCurThread), buffer, 4, res.is_enabled); local
613 decodeGetBreakpoint(cap_t cap, word_t *buffer) argument
642 decodeUnsetBreakpoint(cap_t cap, word_t *buffer) argument
676 decodeSetTLSBase(cap_t cap, word_t length, word_t *buffer) argument
697 decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, cte_t* slot, extra_caps_t excaps, bool_t call, word_t *buffer) argument
792 decodeCopyRegisters(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
837 decodeReadRegisters(cap_t cap, word_t length, bool_t call, word_t *buffer) argument
883 decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer) argument
943 decodeTCBConfigure(cap_t cap, word_t length, cte_t* slot, extra_caps_t rootCaps, word_t *buffer) argument
1040 decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1079 decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1148 decodeSetSchedParams(cap_t cap, word_t length, cte_t *slot, extra_caps_t excaps, word_t *buffer) argument
1234 decodeSetIPCBuffer(cap_t cap, word_t length, cte_t* slot, extra_caps_t excaps, word_t *buffer) argument
1281 decodeSetSpace(cap_t cap, word_t length, cte_t* slot, extra_caps_t excaps, word_t *buffer) argument
1367 decodeDomainInvocation(word_t invLabel, word_t length, extra_caps_t excaps, word_t *buffer) argument
1711 invokeTCB_WriteRegisters(tcb_t *dest, bool_t resumeTarget, word_t n, word_t arch, word_t *buffer) argument
[all...]
H A Dschedcontext.c154 setConsumed(sched_context_t *sc, word_t *buffer) argument
157 word_t length = mode_setTimeArg(0, consumed, buffer, NODE_STATE(ksCurThread));
162 invokeSchedContext_Consumed(sched_context_t *sc, word_t *buffer) argument
164 setConsumed(sc, buffer);
169 invokeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument
192 * so we don't need to write to the ipc buffer
199 setConsumed(sc, buffer);
206 decodeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument
228 return invokeSchedContext_YieldTo(sc, buffer);
232 decodeSchedContextInvocation(word_t label, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
[all...]
H A Dinterrupt.c30 word_t *buffer)
44 irq_w = getSyscallArg(0, buffer);
46 index = getSyscallArg(1, buffer);
47 depth = getSyscallArg(2, buffer);
65 getExtraCPtr(buffer, 0), (int)irq);
73 getExtraCPtr(buffer, 0), (int)irq);
80 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, excaps, buffer);
28 decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
H A Duntyped.c34 bool_t call, word_t *buffer)
65 newType = getSyscallArg(0, buffer);
66 userObjSize = getSyscallArg(1, buffer);
67 nodeIndex = getSyscallArg(2, buffer);
68 nodeDepth = getSyscallArg(3, buffer);
69 nodeOffset = getSyscallArg(4, buffer);
70 nodeWindow = getSyscallArg(5, buffer);
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
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dept.h54 exception_t decodeX86EPTInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
55 exception_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
56 exception_t decodeX86EPTPTInvocation(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
57 exception_t decodeX86EPTPageMap(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);

Completed in 208 milliseconds

123