Searched refs:size (Results 226 - 250 of 420) sorted by relevance

1234567891011>>

/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dchardev.c31 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dchardev.c31 .size = BIT(12), \
/seL4-refos-master/kernel/include/machine/
H A Dio.h30 word_t ksnprintf(char *str, word_t size, const char *format, ...);
/seL4-refos-master/libs/libplatsupport/src/plat/polarfire/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/polarfire/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Di2c.c139 /* 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 Di2c.c139 /* 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 Ddlb.h23 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 Ddlb.h23 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 Dvirtual_device.h96 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 Dio.c137 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 Dio.c137 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 Dcpio-strip.c69 /* 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 Dspi.c183 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 Dcpio.c127 /* 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 Dcpio.c127 /* 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 Dspi.c183 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 Dbitfield_gen.py1234 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 Dbitfield_gen.py1234 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 Dbitfield_gen.py1234 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 Dbitfield_gen.py1234 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 Dmalloc.c155 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 Dsys_io.c145 /* 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 Dsys_io.c145 /* 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 Dallocman.c117 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...]

Completed in 200 milliseconds

1234567891011>>