Searched refs:buffer (Results 101 - 125 of 128) sorted by relevance

123456

/seL4-test-master/kernel/src/arch/x86/object/
H A Diospace.c175 word_t *buffer
205 io_address = getSyscallArg(0, buffer) & ~MASK(VTD_PT_INDEX_BITS + seL4_PageBits);
302 word_t *buffer
337 io_address = getSyscallArg(1, buffer) & ~MASK(PAGE_BITS);
378 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer));
/seL4-test-master/kernel/src/arch/arm/object/
H A Diospace.c147 word_t *buffer
180 io_address = getSyscallArg(0, buffer) & ~MASK(SMMU_IOPD_INDEX_SHIFT);
249 word_t *buffer
284 io_address = getSyscallArg(1, buffer) & ~MASK(PAGE_BITS);
313 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer));
/seL4-test-master/tools/nanopb/
H A Dpb_encode.c529 pb_byte_t buffer[10]; local
536 buffer[i++] = byte;
549 buffer[i++] = byte;
555 buffer[i++] = byte;
557 return pb_write(stream, buffer, i);
656 bool checkreturn pb_encode_string(pb_ostream_t *stream, const pb_byte_t *buffer, size_t size) argument
661 return pb_write(stream, buffer, size);
H A Dpb_decode.c305 /* Read a raw value to buffer, for the purpose of passing it to callback as
695 pb_byte_t buffer[10]; local
696 size_t size = sizeof(buffer);
698 if (!read_raw_value(stream, wire_type, buffer, &size))
700 substream = pb_istream_from_buffer(buffer, size);
/seL4-test-master/tools/nanopb/tests/decode_unittests/
H A Ddecode_unittests.c62 uint8_t buffer[20]; local
66 TEST(pb_read(&stream, buffer, 5))
67 TEST(memcmp(buffer, "xxxxx", 5) == 0)
68 TEST(!pb_read(&stream, buffer, 50))
70 TEST(!pb_read(&stream, buffer, 5))
72 TEST(pb_read(&stream, buffer, 15))
/seL4-test-master/kernel/src/api/
H A Dsyscall.c120 /* Add 1 to the IPC buffer to skip the message info word */
123 userError("SysDebugNameThread: Failed to lookup IPC buffer, halting");
207 userError("A user-level buffer has to be set before resetting benchmark.\
373 word_t *buffer; local
399 buffer = lookupIPCBuffer(false, thread);
401 status = lookupExtraCaps(thread, buffer, info);
413 if (unlikely(length > n_msgRegisters && !buffer)) {
420 canDonate, firstPhase, buffer);
425 buffer);
/seL4-test-master/tools/nanopb/tests/alltypes/
H A Ddecode_alltypes.c283 uint8_t buffer[1024]; local
290 /* Read the data into buffer */
292 count = fread(buffer, 1, sizeof(buffer), stdin);
294 /* Construct a pb_istream_t for reading from the buffer */
295 stream = pb_istream_from_buffer(buffer, count);
/seL4-test-master/tools/nanopb/tests/alltypes_proto3_callback/
H A Ddecode_alltypes_callback.c354 uint8_t buffer[1024]; local
361 /* Read the data into buffer */
363 count = fread(buffer, 1, sizeof(buffer), stdin);
365 /* Construct a pb_istream_t for reading from the buffer */
366 stream = pb_istream_from_buffer(buffer, count);
H A Dencode_alltypes_callback.c327 uint8_t buffer[2048]; local
328 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer));
334 fwrite(buffer, 1, stream.bytes_written, stdout);
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h56 word_t *buffer);
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c190 /* If the last cap to the user-level log buffer frame is being revoked,
208 userError("Log buffer frame is invalidated, kernel can't benchmark anymore");
538 bool_t call, word_t *buffer)
549 return decodeARMIOPTInvocation(invLabel, length, slot, cap, excaps, buffer);
553 return decodeARMVCPUInvocation(invLabel, length, cptr, slot, cap, excaps, call, buffer);
559 return decodeARMMMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
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-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c627 userError("Specifying a device frame as an IPC buffer is not permitted.");
1691 word_t *buffer)
1712 start = getSyscallArg(0, buffer);
1713 end = getSyscallArg(1, buffer);
1790 word_t *buffer)
1826 vaddr = getSyscallArg(0, buffer) & (~MASK(PGD_INDEX_OFFSET));
1878 word_t *buffer)
1914 vaddr = getSyscallArg(0, buffer) & (~MASK(PUD_INDEX_OFFSET));
1971 word_t *buffer)
2007 vaddr = getSyscallArg(0, buffer)
1689 decodeARMVSpaceRootInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1788 decodeARMPageUpperDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1876 decodeARMPageDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1969 decodeARMPageTableInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
2062 decodeARMFrameInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
2270 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c656 userError("Specifying a device frame as an IPC buffer is not permitted.");
930 word_t *buffer
954 vaddr = getSyscallArg(0, buffer);
955 w_rightsMask = getSyscallArg(1, buffer);
956 vmAttr = vmAttributesFromWord(getSyscallArg(2, buffer));
1081 return decodeX86IOMapInvocation(length, cte, cap, excaps, buffer);
1087 return decodeX86EPTPageMap(invLabel, length, cte, cap, excaps, buffer);
1137 word_t *buffer
1180 vaddr = getSyscallArg(0, buffer) & (~MASK(PT_INDEX_BITS + PAGE_BITS));
1181 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
[all...]
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c617 userError("Specifying a device frame as an IPC buffer is not permitted.");
678 word_t *buffer)
721 word_t vaddr = getSyscallArg(0, buffer);
797 word_t *buffer)
807 word_t vaddr = getSyscallArg(0, buffer);
808 word_t w_rightsMask = getSyscallArg(1, buffer);
809 vm_attributes_t attr = vmAttributesFromWord(getSyscallArg(2, buffer));
930 word_t *buffer)
935 return decodeRISCVPageTableInvocation(label, length, cte, cap, extraCaps, buffer);
938 return decodeRISCVFrameInvocation(label, length, cte, cap, extraCaps, buffer);
676 decodeRISCVPageTableInvocation(word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
795 decodeRISCVFrameInvocation(word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
928 decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c324 word_t *buffer
333 return decodeX86MMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c299 word_t *buffer
302 return decodeRISCVMMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c257 /* map log buffer page table. PTEs to be filled by user later by calling seL4_BenchmarkSetLogBuffer() */
710 userError("Specifying a device frame as an IPC buffer is not permitted.");
2046 extra_caps_t excaps, word_t *buffer)
2066 start = getSyscallArg(0, buffer);
2067 end = getSyscallArg(1, buffer);
2156 word_t *buffer)
2200 vaddr = getSyscallArg(0, buffer);
2202 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
2280 word_t *buffer)
2301 vaddr = getSyscallArg(0, buffer);
2044 decodeARMPageDirectoryInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
2154 decodeARMPageTableInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
2278 decodeARMFrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
2548 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/manual/parts/
H A Dipc.tex25 memory called the \emph{IPC buffer}.
28 The IPC buffer is assigned to the calling thread (see \autoref{sec:threads} and \autoref{api:tcb_setipcbuffer}).
77 The kernel assumes that the IPC buffer contains a structure of type
81 registers are available, the kernel begins using the IPC buffer's
100 of data and capabilities (namely the IPC buffer) to be transferred between two
150 IPC buffer in the \texttt{caps} field. Each entry in that array is interpreted
155 in which it is willing to receive a capability, with three fields within the IPC buffer: \texttt{receiveCNode}, \texttt{receiveIndex} and \texttt{receiveDepth}.
195 are found in the sending thread's IPC buffer \texttt{caps} array
223 buffer is set to the number of capabilities transferred up to failure.
H A Dbootup.tex15 thread) and the IPC buffer.
59 \texttt{seL4\_CapInitThreadIPCBuffer} & initial thread's IPC buffer (see \autoref{sec:messageinfo}) \\
102 \texttt{seL4\_IPCBuffer*} & \texttt{ipcBuffer} & pointer to the initial thread's IPC buffer \\
H A Dthreads.tex27 may be shared with other threads. A \obj{TCB} may also have an IPC buffer
30 registers. While it is not compulsory that a thread has an IPC buffer,
346 The register contents are transferred via the IPC buffer.
373 extra capability passed in the \texttt{caps} field in the IPC buffer.
385 \textbf{Meaning} & \textbf{ IPC buffer location} \\
493 \textbf{Value sent} & \textbf{IPC buffer location} \\
545 \textbf{Value sent} & \textbf{Register set by reply} & \textbf{IPC buffer location} \\
568 \textbf{Meaning} & \textbf{IPC buffer location} \\ \midrule Data word from
586 \textbf{Meaning} & \textbf{IPC buffer location} \\
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1140 word_t *buffer
1183 vaddr = getSyscallArg(0, buffer) & (~MASK(PDPT_INDEX_OFFSET));
1184 vm_attr = vmAttributesFromWord(getSyscallArg(1, buffer));
1305 word_t *buffer)
1348 vaddr = getSyscallArg(0, buffer) & (~MASK(PML4_INDEX_OFFSET));
1349 attr = vmAttributesFromWord(getSyscallArg(1, buffer));
1413 word_t *buffer
1423 return decodeX64PDPTInvocation(label, length, cte, cap, extraCaps, buffer);
1426 return decodeX64PageDirectoryInvocation(label, length, cte, cap, extraCaps, buffer);
1642 userError("Invalid cap. Log buffer shoul
1299 decodeX64PDPTInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
[all...]
/seL4-test-master/tools/nanopb/tests/alltypes_callback/
H A Ddecode_alltypes_callback.c420 uint8_t buffer[1024]; local
427 /* Read the data into buffer */
429 count = fread(buffer, 1, sizeof(buffer), stdin);
431 /* Construct a pb_istream_t for reading from the buffer */
432 stream = pb_istream_from_buffer(buffer, count);
H A Dencode_alltypes_callback.c395 uint8_t buffer[2048]; local
396 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer));
402 fwrite(buffer, 1, stream.bytes_written, stdout);
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c246 /* Map global page table for the log buffer */
634 word_t *buffer
639 return decodeIA32PageDirectoryInvocation(invLabel, length, cte, cap, excaps, buffer);
677 userError("Invalid cap. Log buffer should be of a frame cap");
686 userError("Invalid size for log Buffer. The kernel expects at least 1M log buffer");
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h330 word_t *buffer

Completed in 288 milliseconds

123456