Searched refs:size (Results 301 - 325 of 420) sorted by relevance

<<11121314151617

/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Dshoehorn.py156 dtb_size = entry.size
218 die('ELF-loader image "{image}" of size 0x{size:x} does not fit within'
220 .format(image=image, size=image_size, yaml=platform), status=1)
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c100 printf("size=0x%lx v_entry=%p v_start=%p v_end=%p ",
237 printf("\tPhysical Memory Region from %lx size %lx type %d\n", (long)mem_start, (long)mem_length, type);
397 printf("Kernel loaded to: start=0x%lx end=0x%lx size=0x%lx entry=0x%lx\n",
470 "Moving loaded userland images to final location: from=0x%lx to=0x%lx size=0x%lx\n",
522 printf("Boot loader did not provide information about physical memory size\n");
540 " module #%ld: start=0x%x end=0x%x size=0x%x name='%s'\n",
548 printf("Invalid boot module size! Possible cause: boot module file not found by QEMU\n");
635 if (ACPI_V1_SIZE == tag->size - sizeof(*tag)) {
636 memcpy(&boot_state.acpi_rsdp, (void *)behind_tag, tag->size - sizeof(*tag));
639 if (sizeof(boot_state.acpi_rsdp) == tag->size
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.h144 @param size Size of device frame in bytes.
147 cspacepath_t procserv_find_device(void *paddr, int size);
/seL4-refos-master/apps/process_server/src/
H A Dstate.h144 @param size Size of device frame in bytes.
147 cspacepath_t procserv_find_device(void *paddr, int size);
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dethtool.h302 uint32_t size; member in struct:ethtool_perm_addr
387 * @size: On entry, the array size of the user buffer. On return from
388 * %ETHTOOL_GRXFHINDIR, the array size of the hardware indirection table.
393 uint32_t size; member in struct:ethtool_rxfh_indir
428 * @size: in: number of elements in the features[] array;
434 uint32_t size; member in struct:ethtool_gfeatures
451 * @size: array size of the features[] array
456 uint32_t size; member in struct:ethtool_sfeatures
[all...]
/seL4-refos-master/projects/util_libs/libpci/src/
H A Dpci.c28 uint32_t libpci_ioread(uint32_t port_no, uint32_t* val, uint32_t size) { argument
29 return (uint32_t)ps_io_port_in(&global_port_ops, port_no, (int)size, val);
32 uint32_t libpci_iowrite(uint32_t port_no, uint32_t val, uint32_t size) { argument
33 return (uint32_t)ps_io_port_out(&global_port_ops, port_no, (int)size, val);
224 /* Calculate size from size_mask. */
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dethtool.h301 uint32_t size; member in struct:ethtool_perm_addr
386 * @size: On entry, the array size of the user buffer. On return from
387 * %ETHTOOL_GRXFHINDIR, the array size of the hardware indirection table.
392 uint32_t size; member in struct:ethtool_rxfh_indir
427 * @size: in: number of elements in the features[] array;
433 uint32_t size; member in struct:ethtool_gfeatures
450 * @size: array size of the features[] array
455 uint32_t size; member in struct:ethtool_sfeatures
[all...]
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h28 word_t size; member in struct:createMappingEntries_ret
/seL4-refos-master/kernel/src/machine/
H A Dio.c134 }, { /* 6: z- or t-prefixed (assumed to be same size) */
250 // Maximum buffer size taken to ensure correct adaptation
600 word_t ksnprintf(char *str, word_t size, const char *format, ...) argument
605 out_wrap_t out = { buf_out_fn, str, 0, size };
612 if (i >= size) {
613 i = size - 1;
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h82 # define PORT_CE_PLATFORM "Palm-size PC 2.11"
193 #pragma warning(disable:4761) /* integral size mismatch in arg; conv supp*/
327 extern char * __cdecl fgets(char *s, int size, FILE *f);
333 extern size_t __cdecl fread(void *p, size_t size, size_t count, FILE *f);
334 extern size_t __cdecl fwrite(const void *p, size_t size, size_t count, FILE * f);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h82 # define PORT_CE_PLATFORM "Palm-size PC 2.11"
193 #pragma warning(disable:4761) /* integral size mismatch in arg; conv supp*/
327 extern char * __cdecl fgets(char *s, int size, FILE *f);
333 extern size_t __cdecl fread(void *p, size_t size, size_t count, FILE *f);
334 extern size_t __cdecl fwrite(const void *p, size_t size, size_t count, FILE * f);
/seL4-refos-master/projects/util_libs/libfdt/
H A Dfdt.c88 uint32_t base, uint32_t size)
92 if ((base + size) < base)
94 if (!check_off_(hdrsize, totalsize, base + size))
87 check_block_(uint32_t hdrsize, uint32_t totalsize, uint32_t base, uint32_t size) argument
H A Dfdt_sw.c203 int fdt_add_reservemap_entry(void *fdt, uint64_t addr, uint64_t size) argument
216 re->size = cpu_to_fdt64(size);
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace.h20 * Stack size is constant and be configured in menuconfig.
41 /* These definitions are only here so that you can take the size of them.
283 * @param bytes the size in bytes to map.
290 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size,
297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result);
308 * @param bytes the size in bytes to map.
315 size_t size, seL4_CapRights_t rights, int cacheable);
324 * @param bytes the size in bytes of new reservation.
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace.h20 * Stack size is constant and be configured in menuconfig.
41 /* These definitions are only here so that you can take the size of them.
283 * @param bytes the size in bytes to map.
290 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size,
297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result);
308 * @param bytes the size in bytes to map.
315 size_t size, seL4_CapRights_t rights, int cacheable);
324 * @param bytes the size in bytes of new reservation.
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dcmd.c1598 long count, size; local
1601 for (count = size = 0, obj = chain; obj; obj = obj->nobj) {
1604 size += sizeof(struct obj) + obj->oxlth + obj->onamelth;
1610 *total_size += size;
1622 long count = 0, size = 0; local
1624 count_obj(chain, &count, &size, TRUE, FALSE);
1626 *total_size += size;
1627 Sprintf(buf, template, src, count, size);
1640 long count = 0, size = 0; local
1644 count_obj(mon->minvent, &count, &size, TRU
1659 long count = 0, size = 0; local
1687 long count, size; local
[all...]
H A Dsp_lev.c65 #define NewTab(type, size) (type **) alloc(sizeof(type *) * (unsigned)size)
544 /* There is a minimum size for the parent room */
548 /* Check for random position, size, etc... */
1687 /* adjust region size for walls, but only if lighted */
1757 int size; local
1760 if ((size = m->name.len) != 0) {
1761 m->name.str = (char *) alloc((unsigned)size + 1);
1762 Fread((genericptr_t) m->name.str, 1, size, fd);
1763 m->name.str[size]
1779 int size; local
1795 int size; local
1810 short size; local
2072 int xi, dir, size; local
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dcmd.c1598 long count, size; local
1601 for (count = size = 0, obj = chain; obj; obj = obj->nobj) {
1604 size += sizeof(struct obj) + obj->oxlth + obj->onamelth;
1610 *total_size += size;
1622 long count = 0, size = 0; local
1624 count_obj(chain, &count, &size, TRUE, FALSE);
1626 *total_size += size;
1627 Sprintf(buf, template, src, count, size);
1640 long count = 0, size = 0; local
1644 count_obj(mon->minvent, &count, &size, TRU
1659 long count = 0, size = 0; local
1687 long count, size; local
[all...]
H A Dsp_lev.c65 #define NewTab(type, size) (type **) alloc(sizeof(type *) * (unsigned)size)
544 /* There is a minimum size for the parent room */
548 /* Check for random position, size, etc... */
1687 /* adjust region size for walls, but only if lighted */
1757 int size; local
1760 if ((size = m->name.len) != 0) {
1761 m->name.str = (char *) alloc((unsigned)size + 1);
1762 Fread((genericptr_t) m->name.str, 1, size, fd);
1763 m->name.str[size]
1779 int size; local
1795 int size; local
1810 short size; local
2072 int xi, dir, size; local
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dlev_lex.c1894 YY_BUFFER_STATE yy_create_buffer( file, size )
1896 int size;
1904 b->yy_buf_size = size;
1906 /* yy_ch_buf has to be 2 characters longer than the size given because
2031 static genericptr_t yy_flex_alloc( size )
2032 yy_size_t size;
2034 return (genericptr_t) alloc((unsigned)size);
2038 size of the old block of memory */
2039 static genericptr_t yy_flex_realloc2( ptr, size, old_size )
2041 yy_size_t size;
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dlev_lex.c1894 YY_BUFFER_STATE yy_create_buffer( file, size )
1896 int size;
1904 b->yy_buf_size = size;
1906 /* yy_ch_buf has to be 2 characters longer than the size given because
2031 static genericptr_t yy_flex_alloc( size )
2032 yy_size_t size;
2034 return (genericptr_t) alloc((unsigned)size);
2038 size of the old block of memory */
2039 static genericptr_t yy_flex_realloc2( ptr, size, old_size )
2041 yy_size_t size;
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Di2c.c1085 tk1_i2c_mmode_read(i2c_slave_t* slave, void* buf, size_t size, argument
1097 if (size == 0) {
1122 s->master.nbytes = size;
1131 headers = tk1_i2c_prepare_mmode_xfer_headers(slave, size, false,
1144 tk1_i2c_mmode_write(i2c_slave_t *slave, const void* buf, size_t size, argument
1157 if (size == 0) {
1162 if (size > TK1I2C_DATA_MAX_NBYTES) {
1188 s->master.nbytes = size;
1197 headers = tk1_i2c_prepare_mmode_xfer_headers(slave, size, true,
1202 ret = tk1_i2c_fill_tx_fifo(slave->bus, I2C_MODE_MASTER, buf, size);
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Di2c.c1085 tk1_i2c_mmode_read(i2c_slave_t* slave, void* buf, size_t size, argument
1097 if (size == 0) {
1122 s->master.nbytes = size;
1131 headers = tk1_i2c_prepare_mmode_xfer_headers(slave, size, false,
1144 tk1_i2c_mmode_write(i2c_slave_t *slave, const void* buf, size_t size, argument
1157 if (size == 0) {
1162 if (size > TK1I2C_DATA_MAX_NBYTES) {
1188 s->master.nbytes = size;
1197 headers = tk1_i2c_prepare_mmode_xfer_headers(slave, size, true,
1202 ret = tk1_i2c_fill_tx_fifo(slave->bus, I2C_MODE_MASTER, buf, size);
[all...]
/seL4-refos-master/libs/libsel4allocman/src/
H A Dbootstrap.c308 static int _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) { argument
310 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p1.root, p1.dest, p1.destDepth, p1.offset, 1);
314 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p2.root, p2.dest, p2.destDepth, p2.offset, 1);
331 static int bootstrap_allocate_cnode(bootstrap_info_t *bs, size_t size, cspacepath_t *slot) { argument
343 ut_size = size + seL4_SlotBits;
395 error = _retype_cnode(bs, best_path, *slot, size);
436 static int bootstrap_new_1level_cspace(bootstrap_info_t *bs, int size) { argument
441 error = bootstrap_allocate_cnode(bs, size, &node);
448 node.capPtr, new_cnode, size,
450 seL4_AllRights, api_make_guard_skip_word(seL4_WordBits - size));
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c308 static int _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) { argument
310 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p1.root, p1.dest, p1.destDepth, p1.offset, 1);
314 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p2.root, p2.dest, p2.destDepth, p2.offset, 1);
331 static int bootstrap_allocate_cnode(bootstrap_info_t *bs, size_t size, cspacepath_t *slot) { argument
343 ut_size = size + seL4_SlotBits;
395 error = _retype_cnode(bs, best_path, *slot, size);
436 static int bootstrap_new_1level_cspace(bootstrap_info_t *bs, int size) { argument
441 error = bootstrap_allocate_cnode(bs, size, &node);
448 node.capPtr, new_cnode, size,
450 seL4_AllRights, api_make_guard_skip_word(seL4_WordBits - size));
[all...]

Completed in 327 milliseconds

<<11121314151617