/seL4-test-master/projects/seL4_libs/libsel4debug/include/sel4debug/ |
H A D | execinfo.h | 16 * the information in buffer. The argument size should be the number of void* 17 * elements that will fit into buffer. The return value is the actual number of 22 int backtrace(void **buffer, int size) __attribute__((no_instrument_function));
|
/seL4-test-master/tools/nanopb/examples/using_double_on_avr/ |
H A D | encode_double.c | 17 uint8_t buffer[32]; local 18 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 21 fwrite(buffer, 1, stream.bytes_written, stdout);
|
H A D | decode_double.c | 12 uint8_t buffer[32]; local 13 size_t count = fread(buffer, 1, sizeof(buffer), stdin); 14 pb_istream_t stream = pb_istream_from_buffer(buffer, count);
|
/seL4-test-master/kernel/include/64/mode/api/ |
H A D | ipc_buffer.h | 12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument 14 return getSyscallArg(i, buffer); 17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument 19 return setMR(thread, buffer, i, time);
|
/seL4-test-master/kernel/include/32/mode/api/ |
H A D | ipc_buffer.h | 13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument 15 return (((time_t) getSyscallArg(i + 1, buffer) << 32llu) + getSyscallArg(i, buffer)); 18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument 20 setMR(thread, buffer, i, (uint32_t) time); 21 return setMR(thread, buffer, i + 1, (uint32_t)(time >> 32llu));
|
/seL4-test-master/kernel/src/benchmark/ |
H A D | benchmark_utilisation.c | 16 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0])); local 33 buffer[BENCHMARK_TCB_UTILISATION] = tcb->benchmark.utilisation; /* Requested thread utilisation */ 34 buffer[BENCHMARK_TCB_NUMBER_SCHEDULES] = tcb->benchmark.number_schedules; /* Number of times scheduled */ 35 buffer[BENCHMARK_TCB_KERNEL_UTILISATION] = tcb->benchmark.kernel_utilisation; /* Utilisation spent in kernel */ 36 buffer[BENCHMARK_TCB_NUMBER_KERNEL_ENTRIES] = tcb->benchmark.number_kernel_entries; /* Number of kernel entries */ 39 buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION] = NODE_STATE( 42 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = NODE_STATE_ON_CORE(ksIdleThread, 45 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION]; 48 buffer[BENCHMARK_IDLE_NUMBER_SCHEDULE [all...] |
/seL4-test-master/tools/nanopb/tests/regression/issue_242/ |
H A D | zero_value.c | 13 uint8_t buffer[256] = {0}; local 23 ostream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 27 TEST(memcmp(buffer, "\x58\x00", 2) == 0); 35 uint8_t buffer[256] = {0}; local 42 ostream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 46 TEST(memcmp(buffer, "\x58\x00", 2) == 0);
|
/seL4-test-master/tools/nanopb/tests/basic_buffer/ |
H A D | encode_buffer.c | 3 * buffer, which is then written to stdout. 13 uint8_t buffer[Person_size]; local 23 stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 30 fwrite(buffer, 1, stream.bytes_written, stdout);
|
H A D | decode_buffer.c | 63 uint8_t buffer[Person_size]; local 67 /* Read the data into buffer */ 69 count = fread(buffer, 1, sizeof(buffer), stdin); 73 printf("Message does not fit in buffer\n"); 77 /* Construct a pb_istream_t for reading from the buffer */ 78 stream = pb_istream_from_buffer(buffer, count);
|
/seL4-test-master/tools/nanopb/tests/missing_fields/ |
H A D | missing_fields.c | 10 uint8_t buffer[512]; local 16 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 30 pb_istream_t stream = pb_istream_from_buffer(buffer, size); 42 pb_istream_t stream = pb_istream_from_buffer(buffer, size);
|
/seL4-test-master/tools/nanopb/examples/cmake_simple/ |
H A D | simple.c | 8 /* This is the buffer where we will store our message. */ 9 uint8_t buffer[128]; local 24 /* Create a stream that will write to our buffer. */ 25 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 52 /* Create a stream that reads from the buffer. */ 53 pb_istream_t stream = pb_istream_from_buffer(buffer, message_length);
|
/seL4-test-master/tools/nanopb/examples/simple/ |
H A D | simple.c | 8 /* This is the buffer where we will store our message. */ 9 uint8_t buffer[128]; local 24 /* Create a stream that will write to our buffer. */ 25 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 52 /* Create a stream that reads from the buffer. */ 53 pb_istream_t stream = pb_istream_from_buffer(buffer, message_length);
|
/seL4-test-master/tools/nanopb/tests/regression/issue_253/ |
H A D | short_array.c | 11 uint8_t buffer[TestMessage_size] = {0}; local 12 pb_ostream_t ostream = pb_ostream_from_buffer(buffer, TestMessage_size);
|
/seL4-test-master/tools/nanopb/tests/io_errors/ |
H A D | io_errors.c | 13 uint8_t *buffer; member in struct:__anon15 26 *buf++ = *state->buffer++; 40 *state->buffer++ = *buf++; 48 uint8_t buffer[2048]; local 54 msglen = fread(buffer, 1, sizeof(buffer), stdin); 67 fs.buffer = buffer; 85 fs.buffer = buffer; [all...] |
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | base64.h | 24 uint16_t buffer; member in struct:__anon2 39 .buffer = 0, 54 streamer->buffer <<= 8; 55 streamer->buffer |= byte; 61 uint8_t part = streamer->buffer >> streamer->bits; 73 streamer->buffer <<= padding; 74 fputc(base64_lookup(streamer->buffer), streamer->output);
|
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | macros.h | 30 char buffer[SEL4TEST_PRINT_BUFFER];\ 31 snprintf(buffer, SEL4TEST_PRINT_BUFFER, x, ##__VA_ARGS__);\ 32 sel4test_printf(buffer);\
|
/seL4-test-master/tools/nanopb/examples/cmake_relpath/ |
H A D | simple.c | 8 /* This is the buffer where we will store our message. */ 9 uint8_t buffer[128]; local 24 /* Create a stream that will write to our buffer. */ 25 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 53 /* Create a stream that reads from the buffer. */ 54 pb_istream_t stream = pb_istream_from_buffer(buffer, message_length);
|
/seL4-test-master/tools/nanopb/tests/extensions/ |
H A D | encode_extensions.c | 14 uint8_t buffer[1024]; local 35 stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 41 fwrite(buffer, 1, stream.bytes_written, stdout);
|
/seL4-test-master/tools/nanopb/tests/map/ |
H A D | encode_map.c | 11 uint8_t buffer[MyMessage_size]; local 24 stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 29 fwrite(buffer, 1, stream.bytes_written, stdout);
|
/seL4-test-master/tools/nanopb/tests/regression/issue_363/ |
H A D | test_oneofmsg.c | 12 uint8_t buffer[512]; local 16 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 30 pb_istream_t stream = pb_istream_from_buffer(buffer, msglen);
|
/seL4-test-master/tools/nanopb/tests/regression/issue_376/ |
H A D | test_fixarray.c | 12 uint8_t buffer[64]; local 16 pb_ostream_t stream = pb_ostream_from_buffer(buffer, sizeof(buffer)); 29 pb_istream_t stream = pb_istream_from_buffer(buffer, msglen);
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 23 word_t *buffer) 37 word_t irq_w = getSyscallArg(0, buffer); 39 bool_t trigger = !!getSyscallArg(1, buffer); 40 word_t index = getSyscallArg(2, buffer); 41 word_t depth = getSyscallArg(3, buffer); 65 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq)); 74 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq)); 82 word_t irq_w = getSyscallArg(0, buffer); 83 bool_t trigger = !!getSyscallArg(1, buffer); 84 word_t index = getSyscallArg(2, buffer); 21 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument [all...] |
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 35 word_t *buffer) 49 word_t irq_w = getSyscallArg(0, buffer); 51 bool_t trigger = !!getSyscallArg(1, buffer); 52 word_t index = getSyscallArg(2, buffer); 53 word_t depth = getSyscallArg(3, buffer); 71 getExtraCPtr(buffer, 0), (int)irq); 80 getExtraCPtr(buffer, 0), (int)irq); 33 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
/seL4-test-master/tools/nanopb/tests/regression/issue_256/ |
H A D | submsg_array.c | 12 uint8_t buffer[TestMessage_size] = {0}; local 13 pb_ostream_t ostream = pb_ostream_from_buffer(buffer, TestMessage_size); 25 pb_istream_t istream = pb_istream_from_buffer(buffer, ostream.bytes_written);
|
/seL4-test-master/tools/nanopb/tests/encode_unittests/ |
H A D | encode_unittests.c | 43 memset(buffer, 0xAA, sizeof(buffer)), \ 44 s = pb_ostream_from_buffer(buffer, sizeof(buffer)), \ 46 memcmp(buffer, y, sizeof(y) - 1) == 0 && \ 47 buffer[sizeof(y) - 1] == 0xAA 76 uint8_t buffer[30]; local 89 uint8_t buffer[50]; local 111 uint8_t buffer[50]; local 134 uint8_t buffer[3 local 143 uint8_t buffer[30]; local 163 uint8_t buffer[30]; local 173 uint8_t buffer[30]; local 210 uint8_t buffer[30]; local 238 uint8_t buffer[30]; local 251 uint8_t buffer[30]; local 267 uint8_t buffer[10]; local 283 uint8_t buffer[10]; local 300 uint8_t buffer[50]; local 314 uint8_t buffer[10]; local 325 uint8_t buffer[10]; local 335 uint8_t buffer[32]; local 349 uint8_t buffer[20]; local 368 uint8_t buffer[10]; local 394 uint8_t buffer[StringMessage_size]; local 407 uint8_t buffer[128]; local [all...] |