Searched refs:payload (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/tools/seL4/elfloader-tool/src/ |
H A D | printf.c | 20 * 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 D | htif.h | 9 # 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 D | lwip.c | 135 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 D | shoehorn.py | 11 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 D | make-uimage | 44 $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 D | ipc.tex | 38 kernel and is passed unmodified as the first data payload of the message. The
|
/seL4-test-master/tools/riscv-pk/ |
H A D | configure | 1329 --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