Searched refs:block (Results 1 - 25 of 35) sorted by relevance

12

/seL4-camkes-master/projects/picotcp/test/unit/
H A Dunit_mem_manager.c86 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 Dmodunit_pico_tftp.c10 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 Dbrutal.c3 * 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 Dbrutal_manual.c84 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 Dpico_strings.h15 char *get_string_terminator_position(char *const block, size_t len);
H A Dpico_mcast.c63 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 Dpico_strings.c14 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 Dpico_mcast.h41 struct pico_tree *block; variable in typeref:struct:pico_tree
H A Dpico_tftp.c51 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 Dpico_tftp.h58 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 Dencrypt.c31 void encrypt(char *block, int edflag) argument
38 p = block;
56 p = block;
/seL4-camkes-master/kernel/include/object/
H A Dobjecttype.h31 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 Dtcpip.h87 #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 Dbusdev_user.h36 _Bool block,
H A Dbusdev_user.c480 _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 Dtftp.c120 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 Dfsop.c769 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 Dchap_api_tftp.tex7 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 Dchap_api_ipfilter.tex41 /* block all incoming traffic on port 5555 */
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py80 bytes.extend([byte for block in entry.get_blocks() for byte in block])
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c617 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 Dvesadriver.c65 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 Dguest_boot_init.c35 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 Dmodule.c18 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 Drumprun95 -b configures a block device. The format of "blkspec" is:
97 hostpath = image that is passed to the guest as a block device

Completed in 145 milliseconds

12