/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_mem_manager.c | 86 struct pico_mem_block*block; local 124 block = (pico_mem_block*) byteptr; 125 block->type = HEAP_BLOCK_TYPE; 126 block->internals.heap_block.free = HEAP_BLOCK_NOT_FREE; 127 block->internals.heap_block.size = 100; 129 sizeLeft -= block->internals.heap_block.size; 131 byteptr += block->internals.heap_block.size; 133 /* First block in extra manager page, unusable due to too small size */ 135 block = (struct pico_mem_block*) byteptr; 136 block 247 struct pico_mem_block*block; local 417 struct pico_mem_block*block; local 676 struct pico_mem_block*block; local 853 struct pico_mem_block*block; local 954 struct pico_mem_block*block; local 1164 struct pico_mem_block*block; local 1284 struct pico_mem_block*block; local 1377 struct pico_mem_block*block; local 1622 struct pico_mem_block*block; local 1807 struct pico_mem_block*block; local [all...] |
H A D | modunit_pico_tftp.c | 10 int tftp_user_cb(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg); 40 int tftp_user_cb(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg) argument 44 (void)block; 254 /* TODO: test this: static void tftp_data(uint8_t *block, uint32_t len, union pico_address *a, uint16_t port) */ 259 /* TODO: test this: static void tftp_ack(uint8_t *block, uint32_t len, union pico_address *a, uint16_t port) */ 269 /* TODO: test this: static void tftp_req(uint8_t *block, uint32_t len, union pico_address *a, uint16_t port) */ 274 /* TODO: test this: static void tftp_data_err(uint8_t *block, uint32_t len, union pico_address *a, uint16_t port) */ 284 /* TODO: test this: static void tftp_receive(uint8_t *block, uint32_t r, union pico_address *a, uint16_t port) */
|
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
H A D | brutal.c | 3 * 1. It searches a (disk) block that contains entries of varying 11 * (A) Would each Entry in block have to be copied somewhere before its 23 * overlap of block theStuff might cause problems with linear 47 char block[SIZE]; // Contains Entry���s jammed together; terminated by variable 52 struct Entry *e = (struct Entry *)█ 54 if (e->len == 0 || ((uintptr_t)e - (uintptr_t)block) >= SIZE) 65 return (p - (uintptr_t)block) < SIZE; 68 /* Initialise our block of entries. */ 76 memset(block, 0, SIZE); 79 e = (struct Entry *)block; [all...] |
H A D | brutal_manual.c | 84 char block[SIZE]; // Contains Entry's jammed together; terminated by variable 89 return (get_block_ret_t){ .p1 = args, .p2 = block }; 92 Entry_t *get_entry_at_offset (char *block, u64 offset) { argument 93 return (Entry_t*)((uintptr_t)block + offset); 96 int is_entry (char *block, Entry_t *e) { argument 97 return ((uintptr_t)e - (uintptr_t)block) < SIZE; 113 return (p - (uintptr_t)block) < SIZE; 116 /* Initialise our block of entries. */ 124 memset(block, 0, SIZE); 127 e = (Entry_t *)block; [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_strings.h | 15 char *get_string_terminator_position(char *const block, size_t len);
|
H A D | pico_mcast.c | 63 pico_tree_foreach_safe(index, mcast->block, _tmp) 65 pico_tree_delete(mcast->block, index->keyValue); 120 mcast->filter = mcast->block; 123 if (pico_tree_insert(mcast->block, index->keyValue) == &LEAF) { 131 source = pico_tree_findKey(mcast->block, index->keyValue); 133 pico_tree_delete(mcast->block, source); 137 if (!pico_tree_empty(mcast->block)) /* record type is BLOCK */ 149 mcast->filter = mcast->block; 152 if (pico_tree_insert(mcast->block, index->keyValue) == &LEAF) { 183 mcast->filter = mcast->block; [all...] |
H A D | pico_strings.c | 14 char *get_string_terminator_position(char *const block, size_t len) argument 16 size_t length = pico_strnlen(block, len); 18 return (len != length) ? (block + length) : 0;
|
H A D | pico_mcast.h | 41 struct pico_tree *block; variable in typeref:struct:pico_tree
|
H A D | pico_tftp.c | 51 uint16_t block; variable 87 int (*callback)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg); 364 dh->block = short_be(session->packet_counter); 549 dh->block = short_be(session->packet_counter++); 583 static void tftp_req(uint8_t *block, int32_t len, union pico_address *a, uint16_t port) argument 585 struct pico_tftp_hdr *hdr = (struct pico_tftp_hdr *)block; 594 filename = (char *)(block + sizeof(struct pico_tftp_hdr)); 599 send_error(block, server.listen_socket, a, port, TFTP_ERR_EILL, "Invalid argument in request"); 605 send_error(block, server.listen_socket, a, port, TFTP_ERR_EILL, "Unsupported mode"); 609 /*ret = parse_optional_arguments((char *)(block 858 tftp_message_received(struct pico_tftp_session *session, uint8_t *block, int32_t len, union pico_address *a, uint16_t port) argument 923 application_rx_cb(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument 944 application_tx_cb(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument 992 tftp_start_check(struct pico_tftp_session *session, uint16_t port, const char *filename, int (*user_cb)(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg)) argument 1105 pico_tftp_start_rx(struct pico_tftp_session *session, uint16_t port, const char *filename, int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg) argument 1131 pico_tftp_start_tx(struct pico_tftp_session *session, uint16_t port, const char *filename, int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg) argument [all...] |
H A D | pico_tftp.h | 58 int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg); 60 int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg);
|
/seL4-camkes-master/projects/musllibc/src/crypt/ |
H A D | encrypt.c | 31 void encrypt(char *block, int edflag) argument 38 p = block; 56 p = block;
|
/seL4-camkes-master/kernel/include/object/ |
H A D | objecttype.h | 31 extra_caps_t excaps, bool_t block, bool_t call, 35 bool_t block, bool_t call, bool_t canDonate); 42 extra_caps_t excaps, bool_t block, bool_t call, 46 bool_t block, bool_t call);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | tcpip.h | 87 #define tcpip_callback_with_block(function, ctx, block) ((block != 0)? tcpip_callback(function, ctx) : tcpip_try_callback(function, ctx))
|
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
H A D | busdev_user.h | 36 _Bool block,
|
H A D | busdev_user.c | 480 _Bool block, 482 /* If !!block, always blocks and always returns successfully. 483 * If !block, stores err_r_if_nothing into *err_r rather than blocking. 485 * If !!err_r, will block iff user process read should block: 497 if (!block) 500 DPRINTF(("/dev/xen/xenbus[%p,du=%p]: about to block\n",dc,du)); 479 rumpxenbus_next_event_msg(struct rumpxenbus_data_common *dc, _Bool block, void (**mfree_r)(void*)) argument
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | tftp.c | 120 int cb_tftp_tx(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument 125 fprintf(stderr, "TFTP: Error %" PRIu16 ": %s\n", event, block); 156 int cb_tftp_tx_opt(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument 171 return cb_tftp_tx(session, event, block, len, arg); 174 int cb_tftp_rx(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument 180 fprintf(stderr, "TFTP: Error %" PRIu16 ": %s\n", event, block); 188 if (write(note->fd, block, len) < 0) { 211 int cb_tftp_rx_opt(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument 226 return cb_tftp_rx(session, event, block, len, arg); 252 int (*rx_callback)(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_ 251 start_rx(struct pico_tftp_session *session, const char *filename, uint16_t port, int (*rx_callback)(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg), struct note_t *note) argument 261 start_tx(struct pico_tftp_session *session, const char *filename, uint16_t port, int (*tx_callback)(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg), struct note_t *note) argument [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | fsop.c | 769 int block) 776 id = data_id_init(inode->i_ino, block); 787 bilbyfs_err("bad data object (block %d, inode %lu)", 788 block, inode->i_ino); 796 int fsop_readpage(struct bilbyfs_info *bi, struct inode *inode, pgoff_t block, void *addr) argument 803 bilbyfs_debug("[S] bilbyfs_readpage(block=%lu, limit=%lu)\n", block, limit); 804 if (block > limit) { 808 if (block == limit && (i_size_read(inode) % BILBYFS_BLOCK_SIZE == 0)) 811 err = read_block(bi, inode, addr, block); 768 read_block(struct bilbyfs_info *bi, struct inode *inode, void *addr, int block) argument 838 pgoff_t block = pos >> BILBYFS_BLOCK_SHIFT; local 897 pgoff_t block; local [all...] |
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_tftp.tex | 7 Flows must be split up into TFTP blocks on the sender side, and reassembled from block len 8 on the receiving side. Please note that a block whose size is less than the block size indicates 11 To indicate the end of a transfer where the content is aligned with the block size, an additional 18 Real file transaction is started using the functions pico$\_$tftp$\_$start$\_$tx and pico$\_$tftp$\_$start$\_$rx; both require a callback that must be provided by the user to handle single chunks of the transmission. The transmitter callback must use pico$\_$tftp$\_$send function to send each block of data. 286 uint8_t *block, int32_t len, void *arg) 301 return cb_tftp_tx(session, event, block, len, arg); 320 \item \texttt{args} - Pointer to the buffer containing the arguments: filename for listen callback and block for rx or tx callback. 387 In either case, the transfer will happen one block at a time, and the callback provided by the user will be called to notify the acknowledgement for the successful of each transfer, transfer of the last block, receptio [all...] |
H A D | chap_api_ipfilter.tex | 41 /* block all incoming traffic on port 5555 */
|
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 80 bytes.extend([byte for block in entry.get_blocks() for byte in block])
|
/seL4-camkes-master/kernel/src/object/ |
H A D | objecttype.c | 617 extra_caps_t excaps, bool_t block, bool_t call, 622 extra_caps_t excaps, bool_t block, bool_t call, 659 cap_endpoint_cap_get_capCanGrantReply(cap), block, call, canDonate); 665 cap_endpoint_cap_get_capCanGrantReply(cap), block, call); 780 bool_t block, bool_t call, bool_t canDonate) 782 sendIPC(block, call, badge, canGrant, canGrantReply, canDonate, NODE_STATE(ksCurThread), ep); 789 bool_t block, bool_t call) 791 sendIPC(block, call, badge, canGrant, canGrantReply, NODE_STATE(ksCurThread), ep); 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 778 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t block, bool_t call, bool_t canDonate) argument 787 performInvocation_Endpoint(endpoint_t *ep, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t block, bool_t call) argument
|
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/ |
H A D | vesadriver.c | 65 char block = pixels[(j + i * row_width) / 8]; local 68 (block & (1 << offset)) ? white : black);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_boot_init.c | 35 static inline uint32_t vmm_plat_vesa_fbuffer_size(seL4_VBEModeInfoBlock_t *block) argument 37 assert(block); 38 return ALIGN_UP(block->vbe_common.bytesPerScanLine * block->vbe12_part1.yRes, 65536);
|
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/plat/linux/ |
H A D | module.c | 18 static sector_t ext2fs_bmap_nolock(struct address_space *mapping, sector_t block); 235 static sector_t ext2fs_bmap(struct address_space *mapping, sector_t block) argument 241 sector_t res = ext2fs_bmap_nolock(mapping, block); 247 static sector_t ext2fs_bmap_nolock(struct address_space *mapping, sector_t block) argument 249 return generic_block_bmap(mapping, block, ext2fs_get_block); 378 * "super-block" operations
|
/seL4-camkes-master/tools/rumprun/app-tools/ |
H A D | rumprun | 95 -b configures a block device. The format of "blkspec" is: 97 hostpath = image that is passed to the guest as a block device
|