/seL4-test-master/kernel/src/object/ |
H A D | cnode.c | 43 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 D | objecttype.c | 618 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 D | vcpu.h | 114 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 D | objecttype.h | 25 extra_caps_t excaps, bool_t call, word_t *buffer);
|
/seL4-test-master/tools/nanopb/tests/intsizes/ |
H A D | intsizes_unittests.c | 119 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 D | cbor64.h | 153 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 D | objecttype.c | 512 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 D | objecttype.h | 32 bool_t canDonate, bool_t firstPhase, word_t *buffer); 43 word_t *buffer);
|
H A D | untyped.h | 33 word_t *buffer);
|
/seL4-test-master/tools/nanopb/tests/alltypes/ |
H A D | encode_alltypes.c | 142 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 D | encode_alltypes_pointer.c | 184 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 D | decode_alltypes_pointer.c | 162 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 D | decode_alltypes.c | 145 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 D | decode_alltypes.c | 145 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 D | decode_alltypes.c | 163 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 D | vspace.h | 48 word_t *buffer);
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 105 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 D | objecttype.h | 24 extra_caps_t extraCaps, bool_t call, word_t *buffer);
|
/seL4-test-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 476 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 D | ept.c | 268 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 D | objecttype.c | 75 /* 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 D | pb_encode.h | 22 * 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 D | decode_legacy.c | 177 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 D | cbor64.c | 72 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 D | vuart.c | 28 #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 */
|