/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | shoehorn.py | 156 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 D | boot_sys.c | 100 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 D | state.h | 144 @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 D | state.h | 144 @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 D | ethtool.h | 302 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 D | pci.c | 28 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 D | ethtool.h | 301 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 D | vspace.h | 28 word_t size; member in struct:createMappingEntries_ret
|
/seL4-refos-master/kernel/src/machine/ |
H A D | io.c | 134 }, { /* 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 D | wceconf.h | 82 # 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 D | wceconf.h | 82 # 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 D | fdt.c | 88 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 D | fdt_sw.c | 203 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 D | vspace.h | 20 * 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 D | vspace.h | 20 * 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 D | cmd.c | 1598 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 D | sp_lev.c | 65 #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 D | cmd.c | 1598 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 D | sp_lev.c | 65 #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 D | lev_lex.c | 1894 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 D | lev_lex.c | 1894 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 D | i2c.c | 1085 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 D | i2c.c | 1085 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 D | bootstrap.c | 308 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 D | bootstrap.c | 308 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...] |