Searched refs:payload (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c20 * Function to process a simple character. "payload" may point
23 typedef void write_char_fn(void *payload, int c);
26 static void write_string(write_char_fn write_char, void *payload, const char *str) argument
30 write_char(payload, str[i]);
39 static void write_num(write_char_fn write_char, void *payload, argument
48 write_string(write_char, payload, "0");
63 write_string(write_char, payload, &buff[k + 1]);
69 static void vxprintf(write_char_fn write_char, void *payload, argument
81 write_char(payload, format[i]);
92 write_char(payload, forma
233 sprintf_write_char(void *payload, int c) argument
[all...]
/seL4-test-master/tools/riscv-pk/machine/
H A Dhtif.h9 # define TOHOST_CMD(dev, cmd, payload) \
10 (((uint64_t)(dev) << 56) | ((uint64_t)(cmd) << 48) | (uint64_t)(payload))
12 # define TOHOST_CMD(dev, cmd, payload) ({ \
14 (payload); })
/seL4-test-master/projects/util_libs/libethdrivers/src/
H A Dlwip.c135 memcpy(q->payload + pbuf_done, ((dma_addr_t *)cookies[buf])->virt + buf_done, next);
150 // PKT_DEBUG(print_packet(COL_RX, p->payload, len));
162 ethhdr = p->payload;
210 memcpy(pkt_pos, q->payload, q->len);
258 uintptr_t new_payload = (uintptr_t)p->payload;
261 pbuf_header(p, -(new_payload - (uintptr_t)p->payload));
262 uintptr_t phys = ps_dma_pin(&lwip_iface->dma_man, p->payload, buf_size);
267 ps_dma_cache_invalidate(&lwip_iface->dma_man, p->payload, buf_size);
277 uintptr_t loc = (uintptr_t)p->payload;
278 uintptr_t end = (uintptr_t)p->payload
[all...]
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py11 in `platform_filename` and the CPIO archive members embedded in the payload
87 The payload file is a CPIO archive with an object file header (e.g., an ELF
97 with open(payload_filename, 'rb') as payload:
98 match = re.search(cpio_magic, payload.read())
103 payload.seek(match.start())
104 cpio_bytes = payload.read()
120 in `platform_filename` and the CPIO archive members embedded in the payload
H A Dmake-uimage44 $PROGNAME: generate U-Boot payload for ARM platform
51 ELF executable and wrap the object in a chain-loadable payload for use
/seL4-test-master/kernel/manual/parts/
H A Dipc.tex38 kernel and is passed unmodified as the first data payload of the message. The
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1329 --enable-boot-machine Run payload in machine mode
1336 --with-payload Set ELF payload for bbl
4246 # Check whether --with-payload was given.

Completed in 49 milliseconds