Searched refs:buffer (Results 76 - 100 of 128) sorted by relevance

123456

/seL4-test-master/kernel/src/object/
H A Dcnode.c43 extra_caps_t excaps, word_t *buffer)
64 index = getSyscallArg(0, buffer);
65 w_bits = getSyscallArg(1, buffer);
88 srcIndex = getSyscallArg(2, buffer);
89 srcDepth = getSyscallArg(3, buffer);
124 cap_rights = rightsFromWord(getSyscallArg(4, buffer));
143 cap_rights = rightsFromWord(getSyscallArg(4, buffer));
144 capData = getSyscallArg(5, buffer);
170 capData = getSyscallArg(4, buffer);
243 pivotNewData = getSyscallArg(2, buffer);
42 decodeCNodeInvocation(word_t invLabel, word_t length, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
889 getReceiveSlots(tcb_t *thread, word_t *buffer) argument
924 loadCapTransfer(word_t *buffer) argument
[all...]
H A Dobjecttype.c618 bool_t canDonate, bool_t firstPhase, word_t *buffer)
623 word_t *buffer)
628 slot, cap, excaps, call, buffer);
717 slot, excaps, call, buffer);
728 return decodeDomainInvocation(invLabel, length, excaps, buffer);
739 return decodeCNodeInvocation(invLabel, length, cap, excaps, buffer);
743 call, buffer);
747 excaps, buffer);
761 return decodeSchedControlInvocation(invLabel, cap, length, excaps, buffer);
770 return decodeSchedContextInvocation(invLabel, cap, excaps, buffer);
615 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, bool_t canDonate, bool_t firstPhase, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Dvcpu.h114 word_t *buffer
123 exception_t decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t *buffer);
124 exception_t decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t *buffer);
125 exception_t decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t *buffer);
127 exception_t decodeVCPUAckVPPI(cap_t cap, unsigned int length, word_t *buffer);
H A Dobjecttype.h25 extra_caps_t excaps, bool_t call, word_t *buffer);
/seL4-test-master/tools/nanopb/tests/intsizes/
H A Dintsizes_unittests.c119 uint8_t buffer[128]; local
121 pb_ostream_t s = pb_ostream_from_buffer(buffer, sizeof(buffer));
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dcbor64.h153 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length);
263 static inline int cbor64_bytes(base64_t *streamer, unsigned char *buffer, size_t length) argument
265 return cbor64_send_typed_bytes(streamer, CBOR64_MT_BYTE_STRING, buffer, length);
/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c512 word_t *buffer
518 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
520 return decodeX86PortControlInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
522 return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, excaps, call, buffer);
527 return decodeX86IOPTInvocation(invLabel, length, slot, cap, excaps, buffer);
531 return decodeX86VCPUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
536 return decodeX86EPTInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
539 return Mode_decodeInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
/seL4-test-master/kernel/include/object/
H A Dobjecttype.h32 bool_t canDonate, bool_t firstPhase, word_t *buffer);
43 word_t *buffer);
H A Duntyped.h33 word_t *buffer);
/seL4-test-master/tools/nanopb/tests/alltypes/
H A Dencode_alltypes.c142 uint8_t buffer[AllTypes_size]; local
143 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer));
149 fwrite(buffer, 1, stream.bytes_written, stdout);
/seL4-test-master/tools/nanopb/tests/alltypes_pointer/
H A Dencode_alltypes_pointer.c184 uint8_t buffer[4096]; local
185 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer));
191 fwrite(buffer, 1, stream.bytes_written, stdout);
H A Ddecode_alltypes_pointer.c162 uint8_t buffer[1024]; local
169 /* Read the data into buffer */
171 count = fread(buffer, 1, sizeof(buffer), stdin);
173 /* Construct a pb_istream_t for reading from the buffer */
174 stream = pb_istream_from_buffer(buffer, count);
/seL4-test-master/tools/nanopb/tests/alltypes_proto3/
H A Ddecode_alltypes.c145 uint8_t buffer[1024]; local
152 /* Read the data into buffer */
154 count = fread(buffer, 1, sizeof(buffer), stdin);
156 /* Construct a pb_istream_t for reading from the buffer */
157 stream = pb_istream_from_buffer(buffer, count);
/seL4-test-master/tools/nanopb/tests/field_size_16_proto3/
H A Ddecode_alltypes.c145 uint8_t buffer[2048]; local
152 /* Read the data into buffer */
154 count = fread(buffer, 1, sizeof(buffer), stdin);
156 /* Construct a pb_istream_t for reading from the buffer */
157 stream = pb_istream_from_buffer(buffer, count);
/seL4-test-master/tools/nanopb/tests/without_64bit/
H A Ddecode_alltypes.c163 uint8_t buffer[1024]; local
170 /* Read the data into buffer */
172 count = fread(buffer, 1, sizeof(buffer), stdin);
174 /* Construct a pb_istream_t for reading from the buffer */
175 stream = pb_istream_from_buffer(buffer, count);
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h48 word_t *buffer);
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h105 cap_t cap, extra_caps_t excaps, word_t *buffer);
108 cap_t cap, extra_caps_t excaps, word_t *buffer);
111 extra_caps_t excaps, word_t *buffer);
115 word_t *buffer);
/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dobjecttype.h24 extra_caps_t extraCaps, bool_t call, word_t *buffer);
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c476 bool_t call, word_t *buffer)
486 return decodeARMVCPUInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
490 return decodeARMSIDControlInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
492 return decodeARMSIDInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
494 return decodeARMCBControlInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
496 return decodeARMCBInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
502 return decodeARMMMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
474 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-test-master/kernel/src/arch/x86/kernel/
H A Dept.c268 word_t *buffer
309 vaddr = getSyscallArg(0, buffer);
373 word_t *buffer
378 return decodeX86EPTPDPTInvocation(invLabel, length, cte, cap, excaps, buffer);
380 return decodeX86EPTPDInvocation(invLabel, length, cte, cap, excaps, buffer);
382 return decodeX86EPTPTInvocation(invLabel, length, cte, cap, excaps, buffer);
473 word_t *buffer
515 vaddr = getSyscallArg(0, buffer);
661 word_t *buffer
703 vaddr = getSyscallArg(0, buffer);
790 decodeX86EPTPageMap( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c75 /* If the last cap to the user-level log buffer frame is being revoked,
89 userError("Log buffer frame is invalidated, kernel can't benchmark anymore\n");
200 word_t *buffer
207 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
/seL4-test-master/tools/nanopb/
H A Dpb_encode.h22 * 2) You can use state to store your own data (e.g. buffer pointer).
30 /* Callback pointer is not used in buffer-only configuration.
60 * uint8_t buffer[64];
64 * stream = pb_ostream_from_buffer(buffer, sizeof(buffer));
97 /* Create an output stream for writing into a memory buffer.
156 bool pb_encode_string(pb_ostream_t *stream, const pb_byte_t *buffer, size_t size);
/seL4-test-master/tools/nanopb/tests/backwards_compatibility/
H A Ddecode_legacy.c177 uint8_t buffer[1024]; local
184 /* Read the data into buffer */
186 count = fread(buffer, 1, sizeof(buffer), stdin);
188 /* Construct a pb_istream_t for reading from the buffer */
189 stream = pb_istream_from_buffer(buffer, count);
/seL4-test-master/projects/util_libs/libutils/src/
H A Dcbor64.c72 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length) argument
80 err = base64_putbyte(streamer, *buffer);
86 buffer += 1;
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvuart.c28 #define UTXH 0x020 /* TX buffer */
29 #define URXH 0x024 /* RX buffer */
41 char buffer[VUART_BUFLEN]; member in struct:vuart_priv
70 buf = vuart_data->buffer;
93 vuart_data->buffer[vuart_data->buf_pos++] = c;
130 /* If it was the TX buffer, we send to the local stdout */

Completed in 141 milliseconds

123456