/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | iospace.c | 175 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 D | iospace.c | 147 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 D | pb_encode.c | 529 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 D | pb_decode.c | 305 /* 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 D | decode_unittests.c | 62 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 D | syscall.c | 120 /* 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 D | decode_alltypes.c | 283 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 D | decode_alltypes_callback.c | 354 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 D | encode_alltypes_callback.c | 327 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 D | vspace.h | 56 word_t *buffer);
|
/seL4-test-master/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 190 /* 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 D | vspace.c | 627 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 D | vspace.c | 656 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 D | vspace.c | 617 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 D | objecttype.c | 324 word_t *buffer 333 return decodeX86MMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 299 word_t *buffer 302 return decodeRISCVMMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 257 /* 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 D | ipc.tex | 25 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 D | bootup.tex | 15 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 D | threads.tex | 27 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 D | vspace.c | 1140 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 D | decode_alltypes_callback.c | 420 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 D | encode_alltypes_callback.c | 395 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 D | vspace.c | 246 /* 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 D | vcpu.h | 330 word_t *buffer
|