/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | chardev.c | 31 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | chardev.c | 31 .size = BIT(12), \
|
/seL4-refos-master/kernel/include/machine/ |
H A D | io.h | 30 word_t ksnprintf(char *str, word_t size, const char *format, ...);
|
/seL4-refos-master/libs/libplatsupport/src/plat/polarfire/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 139 /* clamp FIFO depth to maximum possible size */ 152 static int omap4_i2c_do_xfer(i2c_slave_t *slave, void *data, size_t size, bool write, argument 155 ZF_LOGV("%s %zu bytes from slave 0x%x", write ? "writing" : "reading", size, slave->address); 164 if (size == 0) { 165 cb(bus, I2CSTAT_COMPLETE, size, token); 190 dev->buf_len = size; 195 omap4_i2c_reg_write(dev, OMAP4_I2C_CNT, size); 225 return size; 230 static int omap4_i2c_slave_read(i2c_slave_t *slave, void *data, size_t size, argument 233 return omap4_i2c_do_xfer(slave, data, size, fals 236 omap4_i2c_slave_write(i2c_slave_t *slave, const void *data, size_t size, bool repeat_start, i2c_callback_fn cb, void *token) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 139 /* clamp FIFO depth to maximum possible size */ 152 static int omap4_i2c_do_xfer(i2c_slave_t *slave, void *data, size_t size, bool write, argument 155 ZF_LOGV("%s %zu bytes from slave 0x%x", write ? "writing" : "reading", size, slave->address); 164 if (size == 0) { 165 cb(bus, I2CSTAT_COMPLETE, size, token); 190 dev->buf_len = size; 195 omap4_i2c_reg_write(dev, OMAP4_I2C_CNT, size); 225 return size; 230 static int omap4_i2c_slave_read(i2c_slave_t *slave, void *data, size_t size, argument 233 return omap4_i2c_do_xfer(slave, data, size, fals 236 omap4_i2c_slave_write(i2c_slave_t *slave, const void *data, size_t size, bool repeat_start, i2c_callback_fn cb, void *token) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | dlb.h | 23 long fsize; /* file size */ 35 long strsize; /* dlb file string size */ 54 long size; /* size of file */ member in struct:dlb_handle 89 int rsrc_dlb_fread(char *buf, int size, int quan, dlb *dp);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | dlb.h | 23 long fsize; /* file size */ 35 long strsize; /* dlb file string size */ 54 long size; /* size of file */ member in struct:dlb_handle 89 int rsrc_dlb_fread(char *buf, int size, int quan, dlb *dp);
|
/seL4-refos-master/projects/util_libs/libpci/include/pci/ |
H A D | virtual_device.h | 96 uint32_t size_mask, /* the size mask. last 3 bits must be 0. */ 104 uint32_t size_mask /* the size mask. last 3 bits must be 0. */ 109 int size /* 1, 2 or 4 */); 113 int size /* 1, 2 or 4 */,
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | io.c | 137 size_t size, size_t page_size_bits, bool cached) 147 size += offset; 149 io_mapping_t *mapping = new_node(BYTES_TO_SIZE_BITS_PAGES(size, page_size_bits)); 150 assert(mapping->num_pages << page_size_bits >= size); 201 static void *sel4platsupport_map_paddr(void *cookie, uintptr_t paddr, size_t size, int cached, argument 211 /* find the largest reasonable frame size */ 213 if (size >> sel4_page_sizes[frame_size_index + 1] == 0) { 221 void *result = sel4platsupport_map_paddr_with_page_size(io_mapper, paddr, size, sel4_page_sizes[i], cached); 232 static void sel4platsupport_unmap_vaddr(void *cookie, void *vaddr, UNUSED size_t size) argument 136 sel4platsupport_map_paddr_with_page_size(sel4platsupport_io_mapper_cookie_t *io_mapper, uintptr_t paddr, size_t size, size_t page_size_bits, bool cached) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 137 size_t size, size_t page_size_bits, bool cached) 147 size += offset; 149 io_mapping_t *mapping = new_node(BYTES_TO_SIZE_BITS_PAGES(size, page_size_bits)); 150 assert(mapping->num_pages << page_size_bits >= size); 201 static void *sel4platsupport_map_paddr(void *cookie, uintptr_t paddr, size_t size, int cached, argument 211 /* find the largest reasonable frame size */ 213 if (size >> sel4_page_sizes[frame_size_index + 1] == 0) { 221 void *result = sel4platsupport_map_paddr_with_page_size(io_mapper, paddr, size, sel4_page_sizes[i], cached); 232 static void sel4platsupport_unmap_vaddr(void *cookie, void *vaddr, UNUSED size_t size) argument 136 sel4platsupport_map_paddr_with_page_size(sel4platsupport_io_mapper_cookie_t *io_mapper, uintptr_t paddr, size_t size, size_t page_size_bits, bool cached) argument
|
/seL4-refos-master/seL4_tools/misc/ |
H A D | cpio-strip.c | 69 /* Determine the size of the archive, as we'll need to mmap the whole 78 perror("failed to read size of archive"); 104 unsigned long size; local 106 void *data = cpio_get_entry(p, i, &filename, &size);
|
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | spi.c | 183 size_t size = spi_bus->txsize + spi_bus->rxsize; local 184 for (int i = 0; i < size; i++) { 199 spi_bus->cb(spi_bus, size, spi_bus->token); 234 size_t size = spi_bus->txsize + spi_bus->rxsize; local 235 spi_bus->regs->dma_blk = size - 1; 238 for (int i = 0; i < size; i++) { 259 ZF_LOGE("SPI transaction size (%d) exceeds FIFO size (%d)", txcnt + rxcnt, FIFO_SIZE);
|
/seL4-refos-master/libs/libcpio/src/ |
H A D | cpio.c | 127 /* Get filename and file size. */ 171 void *cpio_get_entry(void *archive, unsigned long len, int n, const char **name, unsigned long *size) argument 189 if (size) { 190 *size = header_info.filesize; 196 * Find the location and size of the file named "name" in the given 'cpio' 203 void *cpio_get_file(void *archive, unsigned long len, const char *name, unsigned long *size) argument 221 if (size) { 222 *size = header_info.filesize; 249 // Check if this is the maximum file path size.
|
/seL4-refos-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 127 /* Get filename and file size. */ 171 void *cpio_get_entry(void *archive, unsigned long len, int n, const char **name, unsigned long *size) argument 189 if (size) { 190 *size = header_info.filesize; 196 * Find the location and size of the file named "name" in the given 'cpio' 203 void *cpio_get_file(void *archive, unsigned long len, const char *name, unsigned long *size) argument 221 if (size) { 222 *size = header_info.filesize; 249 // Check if this is the maximum file path size.
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | spi.c | 183 size_t size = spi_bus->txsize + spi_bus->rxsize; local 184 for (int i = 0; i < size; i++) { 199 spi_bus->cb(spi_bus, size, spi_bus->token); 234 size_t size = spi_bus->txsize + spi_bus->rxsize; local 235 spi_bus->regs->dma_blk = size - 1; 238 for (int i = 0; i < size; i++) { 259 ZF_LOGE("SPI transaction size (%d) exceeds FIFO size (%d)", txcnt + rxcnt, FIFO_SIZE);
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 1234 def field_mask_proof(base, base_bits, sign_extend, high, size): 1238 return "NOT (mask %d)" % (base_bits - size) 1240 return "(mask %d << %d)" % (size, base_bits - size) 1242 return "mask %d" % size 1284 # Ensure that block sizes and tag size & position match for 1298 union_size = ref.size 1299 elif union_size != ref.size: 1442 offset, size, high = ref.field_map[field] 1448 self.base_sign_extend, high, size) [all...] |
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 1234 def field_mask_proof(base, base_bits, sign_extend, high, size): 1238 return "NOT (mask %d)" % (base_bits - size) 1240 return "(mask %d << %d)" % (size, base_bits - size) 1242 return "mask %d" % size 1284 # Ensure that block sizes and tag size & position match for 1298 union_size = ref.size 1299 elif union_size != ref.size: 1442 offset, size, high = ref.field_map[field] 1448 self.base_sign_extend, high, size) [all...] |
/seL4-refos-master/libs/libsel4/tools/ |
H A D | bitfield_gen.py | 1234 def field_mask_proof(base, base_bits, sign_extend, high, size): 1238 return "NOT (mask %d)" % (base_bits - size) 1240 return "(mask %d << %d)" % (size, base_bits - size) 1242 return "mask %d" % size 1284 # Ensure that block sizes and tag size & position match for 1298 union_size = ref.size 1299 elif union_size != ref.size: 1442 offset, size, high = ref.field_map[field] 1448 self.base_sign_extend, high, size) [all...] |
/seL4-refos-master/kernel/tools/ |
H A D | bitfield_gen.py | 1234 def field_mask_proof(base, base_bits, sign_extend, high, size): 1238 return "NOT (mask %d)" % (base_bits - size) 1240 return "(mask %d << %d)" % (size, base_bits - size) 1242 return "mask %d" % size 1284 # Ensure that block sizes and tag size & position match for 1298 union_size = ref.size 1299 elif union_size != ref.size: 1442 offset, size, high = ref.field_map[field] 1448 self.base_sign_extend, high, size) [all...] |
/seL4-refos-master/libs/libmuslc/src/malloc/ |
H A D | malloc.c | 155 fprintf(stderr, "base %p size %zu (%d) flags %d/%d\n", 209 * zero-size sentinel header at the old end-of-heap. */ 280 * Must be called with i as the ideal bin for size n, j the bin 464 size_t final_size, new_size, size; local 501 size = CHUNK_SIZE(self); 502 final_size += size; 503 if (new_size+size > RECLAIM && (new_size+size^size) > size) [all...] |
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 145 /* Update the size */ 189 long unsigned int size; local 192 file = cpio_get_file_impl(cpio_archive_symbol, cpio_archive_len, pathname, &size); 194 file = cpio_get_file_impl(cpio_archive_symbol, cpio_archive_len, pathname + 2, &size); 217 fd_data->size = size; 366 for (i = 0; i < iovcnt && cpio_fd->current < cpio_fd->size; i++) { 367 long max = cpio_fd->size - cpio_fd->current; 479 new_offset = cpio_fd->size + offset; 488 } else if (new_offset > cpio_fd->size) { [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 145 /* Update the size */ 189 long unsigned int size; local 192 file = cpio_get_file_impl(cpio_archive_symbol, cpio_archive_len, pathname, &size); 194 file = cpio_get_file_impl(cpio_archive_symbol, cpio_archive_len, pathname + 2, &size); 217 fd_data->size = size; 366 for (i = 0; i < iovcnt && cpio_fd->current < cpio_fd->size; i++) { 367 long max = cpio_fd->size - cpio_fd->current; 479 new_offset = cpio_fd->size + offset; 488 } else if (new_offset > cpio_fd->size) { [all...] |
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | allocman.c | 117 static void *_try_watermark_mspace(allocman_t *alloc, size_t size, int *_error) argument 121 if (alloc->mspace_chunk[i].size == size) { 171 static void *_allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error, int use_watermark) argument 184 ret = _try_watermark_mspace(alloc, size, _error); 186 ZF_LOGI("Failed to fullfill recursive allocation from watermark, size %zu\n", size); 197 ret = alloc->mspace.alloc(alloc, alloc->mspace.mspace, size, &error); 207 ret = _try_watermark_mspace(alloc, size, _error); 209 ZF_LOGI("Regular mspace alloc failed, and watermark also failed. for size 313 allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error) argument 466 resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) argument 499 resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) argument [all...] |