Home
last modified time | relevance | path

Searched refs:buffer (Results 1 – 25 of 70) sorted by relevance

123

/seL4-master/src/benchmark/
A Dbenchmark_utilisation.c39 buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION] = NODE_STATE( in benchmark_track_utilisation_dump()
42 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = NODE_STATE_ON_CORE(ksIdleThread, in benchmark_track_utilisation_dump()
45 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION]; in benchmark_track_utilisation_dump()
48 buffer[BENCHMARK_IDLE_NUMBER_SCHEDULES] = NODE_STATE( in benchmark_track_utilisation_dump()
50 buffer[BENCHMARK_IDLE_KERNEL_UTILISATION] = NODE_STATE( in benchmark_track_utilisation_dump()
52 buffer[BENCHMARK_IDLE_NUMBER_KERNEL_ENTRIES] = NODE_STATE( in benchmark_track_utilisation_dump()
58 buffer[BENCHMARK_TOTAL_UTILISATION] = in benchmark_track_utilisation_dump()
61 buffer[BENCHMARK_TOTAL_UTILISATION] = NODE_STATE(benchmark_end_time) - NODE_STATE( in benchmark_track_utilisation_dump()
64 buffer[BENCHMARK_TOTAL_NUMBER_SCHEDULES] = NODE_STATE(benchmark_kernel_number_schedules); in benchmark_track_utilisation_dump()
65 buffer[BENCHMARK_TOTAL_KERNEL_UTILISATION] = NODE_STATE(benchmark_kernel_time); in benchmark_track_utilisation_dump()
[all …]
/seL4-master/src/arch/arm/object/
A Dinterrupt.c22 cte_t *srcSlot, word_t *buffer) in Arch_decodeIRQControlInvocation() argument
36 word_t irq_w = getSyscallArg(0, buffer); in Arch_decodeIRQControlInvocation()
38 bool_t trigger = !!getSyscallArg(1, buffer); in Arch_decodeIRQControlInvocation()
39 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation()
40 word_t depth = getSyscallArg(3, buffer); in Arch_decodeIRQControlInvocation()
65 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq)); in Arch_decodeIRQControlInvocation()
82 word_t irq_w = getSyscallArg(0, buffer); in Arch_decodeIRQControlInvocation()
83 bool_t trigger = !!getSyscallArg(1, buffer); in Arch_decodeIRQControlInvocation()
84 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation()
85 word_t depth = getSyscallArg(3, buffer) & 0xfful; in Arch_decodeIRQControlInvocation()
[all …]
A Dsmmu.c59 sid = getSyscallArg(0, buffer); in decodeARMSIDControlInvocation()
60 index = getSyscallArg(1, buffer); in decodeARMSIDControlInvocation()
61 depth = getSyscallArg(2, buffer); in decodeARMSIDControlInvocation()
80 getExtraCPtr(buffer, 0), (int)sid); in decodeARMSIDControlInvocation()
87 getExtraCPtr(buffer, 0), (int)sid); in decodeARMSIDControlInvocation()
97 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMSIDInvocation() argument
208 cb = getSyscallArg(0, buffer); in decodeARMCBControlInvocation()
209 index = getSyscallArg(1, buffer); in decodeARMCBControlInvocation()
210 depth = getSyscallArg(2, buffer); in decodeARMCBControlInvocation()
229 getExtraCPtr(buffer, 0), (int)cb); in decodeARMCBControlInvocation()
[all …]
A Dvcpu.c322 field = getSyscallArg(0, buffer); in decodeVCPUWriteReg()
323 value = getSyscallArg(1, buffer); in decodeVCPUWriteReg()
359 field = getSyscallArg(0, buffer); in decodeVCPUReadReg()
401 mr0 = getSyscallArg(0, buffer); in decodeVCPUInjectIRQ()
416 mr0 = getSyscallArg(0, buffer); in decodeVCPUInjectIRQ()
417 mr1 = getSyscallArg(1, buffer); in decodeVCPUInjectIRQ()
477 word_t *buffer in decodeARMVCPUInvocation() argument
486 return decodeVCPUWriteReg(cap, length, buffer); in decodeARMVCPUInvocation()
488 return decodeVCPUInjectIRQ(cap, length, buffer); in decodeARMVCPUInvocation()
490 return decodeVCPUAckVPPI(cap, length, buffer); in decodeARMVCPUInvocation()
[all …]
/seL4-master/include/32/mode/api/
A Dipc_buffer.h13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) in mode_parseTimeArg() argument
15 return (((time_t) getSyscallArg(i + 1, buffer) << 32llu) + getSyscallArg(i, buffer)); in mode_parseTimeArg()
18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg() argument
20 setMR(thread, buffer, i, (uint32_t) time); in mode_setTimeArg()
21 return setMR(thread, buffer, i + 1, (uint32_t)(time >> 32llu)); in mode_setTimeArg()
/seL4-master/src/arch/x86/object/
A Dinterrupt.c99 index = getSyscallArg(0, buffer); in Arch_decodeIRQControlInvocation()
100 depth = getSyscallArg(1, buffer); in Arch_decodeIRQControlInvocation()
102 irq = getSyscallArg(6, buffer); in Arch_decodeIRQControlInvocation()
134 word_t ioapic = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation()
135 word_t pin = getSyscallArg(3, buffer); in Arch_decodeIRQControlInvocation()
136 word_t level = getSyscallArg(4, buffer); in Arch_decodeIRQControlInvocation()
137 word_t polarity = getSyscallArg(5, buffer); in Arch_decodeIRQControlInvocation()
149 word_t pci_bus = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation()
150 word_t pci_dev = getSyscallArg(3, buffer); in Arch_decodeIRQControlInvocation()
151 word_t pci_func = getSyscallArg(4, buffer); in Arch_decodeIRQControlInvocation()
[all …]
A Dvcpu.c569 low = getSyscallArg(0, buffer); in decodeEnableIOPort()
570 high = getSyscallArg(1, buffer); in decodeEnableIOPort()
603 low = getSyscallArg(0, buffer); in decodeDisableIOPort()
604 high = getSyscallArg(1, buffer); in decodeDisableIOPort()
632 setMR(thread, buffer, 0, value); in invokeWriteVMCS()
649 field = getSyscallArg(0, buffer); in decodeWriteVMCS()
901 word_t *buffer; in vcpu_update_state_sysvmenter() local
906 if (!buffer) { in vcpu_update_state_sysvmenter()
918 word_t *buffer; in vcpu_sysvmenter_reply_to_user() local
943 word_t *buffer in decodeX86VCPUInvocation() argument
[all …]
A Dioport.c109 word_t *buffer in decodeX86PortControlInvocation() argument
132 first_port = getSyscallArg(0, buffer) & 0xffff; in decodeX86PortControlInvocation()
133 last_port = getSyscallArg(1, buffer) & 0xffff; in decodeX86PortControlInvocation()
134 index = getSyscallArg(2, buffer); in decodeX86PortControlInvocation()
135 depth = getSyscallArg(3, buffer); in decodeX86PortControlInvocation()
154 userError("Target slot for new IO Port cap invalid: cap %lu.", getExtraCPtr(buffer, 0)); in decodeX86PortControlInvocation()
161 userError("Target slot for new IO Port cap not empty: cap %lu.", getExtraCPtr(buffer, 0)); in decodeX86PortControlInvocation()
239 word_t *buffer in decodeX86PortInvocation() argument
251 uint16_t port = getSyscallArg(0, buffer) & 0xffff; in decodeX86PortInvocation()
276 uint16_t port = getSyscallArg(0, buffer) & 0xffff; in decodeX86PortInvocation()
[all …]
/seL4-master/src/object/
A Dtcb.c547 bp_num = getSyscallArg(0, buffer); in decodeConfigureSingleStepping()
577 bp_num = getSyscallArg(0, buffer); in decodeSetBreakpoint()
578 vaddr = getSyscallArg(1, buffer); in decodeSetBreakpoint()
579 type = getSyscallArg(2, buffer); in decodeSetBreakpoint()
580 size = getSyscallArg(3, buffer); in decodeSetBreakpoint()
581 rw = getSyscallArg(4, buffer); in decodeSetBreakpoint()
895 flags = getSyscallArg(0, buffer); in decodeCopyRegisters()
937 flags = getSyscallArg(0, buffer); in decodeReadRegisters()
938 n = getSyscallArg(1, buffer); in decodeReadRegisters()
982 flags = getSyscallArg(0, buffer); in decodeWriteRegisters()
[all …]
A Dschedcontrol.c88 static exception_t decodeSchedControl_ConfigureFlags(word_t length, cap_t cap, word_t *buffer) in decodeSchedControl_ConfigureFlags() argument
102 time_t budget_us = mode_parseTimeArg(0, buffer); in decodeSchedControl_ConfigureFlags()
104 time_t period_us = mode_parseTimeArg(TIME_ARG_SIZE, buffer); in decodeSchedControl_ConfigureFlags()
106 word_t extra_refills = getSyscallArg(TIME_ARG_SIZE * 2, buffer); in decodeSchedControl_ConfigureFlags()
107 word_t badge = getSyscallArg(TIME_ARG_SIZE * 2 + 1, buffer); in decodeSchedControl_ConfigureFlags()
108 word_t flags = getSyscallArg(TIME_ARG_SIZE * 2 + 2, buffer); in decodeSchedControl_ConfigureFlags()
162 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, word_t *buffer) in decodeSchedControlInvocation() argument
166 return decodeSchedControl_ConfigureFlags(length, cap, buffer); in decodeSchedControlInvocation()
A Dschedcontext.c162 static inline void setConsumed(sched_context_t *sc, word_t *buffer) in setConsumed() argument
165 word_t length = mode_setTimeArg(0, consumed, buffer, NODE_STATE(ksCurThread)); in setConsumed()
169 static exception_t invokeSchedContext_Consumed(sched_context_t *sc, word_t *buffer) in invokeSchedContext_Consumed() argument
171 setConsumed(sc, buffer); in invokeSchedContext_Consumed()
175 static exception_t invokeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) in invokeSchedContext_YieldTo() argument
210 setConsumed(sc, buffer); in invokeSchedContext_YieldTo()
216 static exception_t decodeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) in decodeSchedContext_YieldTo() argument
248 return invokeSchedContext_YieldTo(sc, buffer); in decodeSchedContext_YieldTo()
251 exception_t decodeSchedContextInvocation(word_t label, cap_t cap, word_t *buffer) in decodeSchedContextInvocation() argument
261 return invokeSchedContext_Consumed(sc, buffer); in decodeSchedContextInvocation()
[all …]
A Dinterrupt.c24 cte_t *srcSlot, word_t *buffer) in decodeIRQControlInvocation() argument
38 irq_w = getSyscallArg(0, buffer); in decodeIRQControlInvocation()
40 index = getSyscallArg(1, buffer); in decodeIRQControlInvocation()
41 depth = getSyscallArg(2, buffer); in decodeIRQControlInvocation()
59 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq)); in decodeIRQControlInvocation()
67 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq)); in decodeIRQControlInvocation()
74 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, buffer); in decodeIRQControlInvocation()
A Dcnode.c43 word_t *buffer) in decodeCNodeInvocation() argument
64 index = getSyscallArg(0, buffer); in decodeCNodeInvocation()
65 w_bits = getSyscallArg(1, buffer); in decodeCNodeInvocation()
88 srcIndex = getSyscallArg(2, buffer); in decodeCNodeInvocation()
89 srcDepth = getSyscallArg(3, buffer); in decodeCNodeInvocation()
144 capData = getSyscallArg(5, buffer); in decodeCNodeInvocation()
170 capData = getSyscallArg(4, buffer); in decodeCNodeInvocation()
243 pivotNewData = getSyscallArg(2, buffer); in decodeCNodeInvocation()
244 pivotIndex = getSyscallArg(3, buffer); in decodeCNodeInvocation()
898 if (!buffer) { in getReceiveSlots()
[all …]
A Duntyped.c27 cap_t cap, bool_t call, word_t *buffer) in decodeUntypedInvocation() argument
58 newType = getSyscallArg(0, buffer); in decodeUntypedInvocation()
59 userObjSize = getSyscallArg(1, buffer); in decodeUntypedInvocation()
60 nodeIndex = getSyscallArg(2, buffer); in decodeUntypedInvocation()
61 nodeDepth = getSyscallArg(3, buffer); in decodeUntypedInvocation()
62 nodeOffset = getSyscallArg(4, buffer); in decodeUntypedInvocation()
63 nodeWindow = getSyscallArg(5, buffer); in decodeUntypedInvocation()
/seL4-master/src/arch/riscv/object/
A Dinterrupt.c34 cte_t *srcSlot, word_t *buffer) in Arch_decodeIRQControlInvocation() argument
48 word_t irq_w = getSyscallArg(0, buffer); in Arch_decodeIRQControlInvocation()
50 bool_t trigger = !!getSyscallArg(1, buffer); in Arch_decodeIRQControlInvocation()
51 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation()
52 word_t depth = getSyscallArg(3, buffer); in Arch_decodeIRQControlInvocation()
70 getExtraCPtr(buffer, 0), (int)irq); in Arch_decodeIRQControlInvocation()
79 getExtraCPtr(buffer, 0), (int)irq); in Arch_decodeIRQControlInvocation()
/seL4-master/include/64/mode/api/
A Dipc_buffer.h12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) in mode_parseTimeArg() argument
14 return getSyscallArg(i, buffer); in mode_parseTimeArg()
17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg() argument
19 return setMR(thread, buffer, i, time); in mode_setTimeArg()
/seL4-master/include/object/
A Dtcb.h127 cte_t *slot, bool_t call, word_t *buffer);
128 exception_t decodeCopyRegisters(cap_t cap, word_t length, word_t *buffer);
130 word_t *buffer);
131 exception_t decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer);
133 cte_t *slot, word_t *buffer);
134 exception_t decodeSetPriority(cap_t cap, word_t length, word_t *buffer);
135 exception_t decodeSetMCPriority(cap_t cap, word_t length, word_t *buffer);
139 exception_t decodeSetSchedParams(cap_t cap, word_t length, word_t *buffer);
142 cte_t *slot, word_t *buffer);
144 cte_t *slot, word_t *buffer);
[all …]
A Dcnode.h14 cap_t cap, word_t *buffer);
35 cte_t *getReceiveSlots(tcb_t *thread, word_t *buffer);
36 cap_transfer_t PURE loadCapTransfer(word_t *buffer);
/seL4-master/include/arch/arm/arch/object/
A Dsmmu.h19 bool_t call, word_t *buffer);
22 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer);
26 bool_t call, word_t *buffer);
29 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer);
A Diospace.h16 … decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, word_t *buffer);
17 …decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, word_t *buffer);
33 word_t *buffer) in decodeARMIOPTInvocation() argument
39 word_t *buffer) in decodeARMIOMapInvocation() argument
A Dvcpu.h112 word_t *buffer
121 exception_t decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t *buffer);
122 exception_t decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t *buffer);
123 exception_t decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t *buffer);
125 exception_t decodeVCPUAckVPPI(cap_t cap, unsigned int length, word_t *buffer);
/seL4-master/include/arch/x86/arch/kernel/
A Dept.h48 word_t *buffer);
49 …_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, word_t *buffer);
50 …_t decodeX86EPTPTInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, word_t *buffer);
51 …ption_t decodeX86EPTPageMap(word_t invLabel, word_t length, cte_t *cte, cap_t cap, word_t *buffer);
/seL4-master/src/arch/x86/32/machine/
A Dregisterset.c62 seL4_IPCBuffer *buffer = (seL4_IPCBuffer *) lookupIPCBuffer(false, NODE_STATE(ksCurThread)); in getNBSendRecvDest() local
63 if (buffer != NULL) { in getNBSendRecvDest()
64 return buffer->userData; in getNBSendRecvDest()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace_32paging.c224 word_t *buffer) in performIA32PageDirectoryGetStatusBits() argument
230 setMR(NODE_STATE(ksCurThread), buffer, 0, pde_pde_large_ptr_get_accessed(pdSlot.pdSlot)); in performIA32PageDirectoryGetStatusBits()
231 setMR(NODE_STATE(ksCurThread), buffer, 1, pde_pde_large_ptr_get_dirty(pdSlot.pdSlot)); in performIA32PageDirectoryGetStatusBits()
237 setMR(NODE_STATE(ksCurThread), buffer, 0, pte_ptr_get_accessed(ptSlot.ptSlot)); in performIA32PageDirectoryGetStatusBits()
238 setMR(NODE_STATE(ksCurThread), buffer, 1, pte_ptr_get_dirty(ptSlot.ptSlot)); in performIA32PageDirectoryGetStatusBits()
248 word_t *buffer in decodeIA32PageDirectoryInvocation() argument
266 vaddr = getSyscallArg(0, buffer); in decodeIA32PageDirectoryInvocation()
297 return performIA32PageDirectoryGetStatusBits(ptSlot, pdSlot, buffer); in decodeIA32PageDirectoryInvocation()
/seL4-master/include/arch/x86/arch/object/
A Dioport.h19 bool_t call, word_t *buffer);
21 word_t *buffer);

Completed in 43 milliseconds

123