/seL4-refos-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 274 size_t offset = elf_getSectionNameOffset(elf, i); local 277 if (str_table == NULL || offset > size) { 281 return str_table + offset; 378 size_t offset = elf_getProgramHeaderOffset(elf, ph); local 380 size_t segment_end = offset + file_size; 382 if (elf->elfSize < segment_end || segment_end < offset) { 386 return elf->elfFile + offset;
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 322 assert(awindow->offset == (vaddr_t) reservation_to_res(window->reservation)->start); 327 if (!w_associate_check(&vs->windows, awindow->offset + awindow->size, sizeIncrease)) { 332 dvprintf("attempted to resize window 0x%x ��������� 0x%x to 0x%x.\n", awindow->offset, 333 awindow->offset + awindow->size, awindow->offset + size); 344 int error = vs_unmap(vs, REFOS_PAGE_ALIGN(awindow->offset + size), npages); 352 int error = w_resize_window(window, awindow->offset, size); 473 /* Verify that the offset is within the window limits. */ 475 ROS_ERROR("invalid window offset address!\n"); 497 return vs_map(&clientPCB->vspace, wa->offset [all...] |
/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 322 assert(awindow->offset == (vaddr_t) reservation_to_res(window->reservation)->start); 327 if (!w_associate_check(&vs->windows, awindow->offset + awindow->size, sizeIncrease)) { 332 dvprintf("attempted to resize window 0x%x ��������� 0x%x to 0x%x.\n", awindow->offset, 333 awindow->offset + awindow->size, awindow->offset + size); 344 int error = vs_unmap(vs, REFOS_PAGE_ALIGN(awindow->offset + size), npages); 352 int error = w_resize_window(window, awindow->offset, size); 473 /* Verify that the offset is within the window limits. */ 475 ROS_ERROR("invalid window offset address!\n"); 497 return vs_map(&clientPCB->vspace, wa->offset [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | marvell.c | 281 u8 reg_num, u16 offset, u16 len, u16 data) 285 if ((len + offset) >= 16) 286 mask = 0 - (1 << offset); 288 mask = (1 << (len + offset)) - (1 << offset); 293 reg |= data << offset; 280 m88e1518_phy_writebits(struct phy_device *phydev, u8 reg_num, u16 offset, u16 len, u16 data) argument
|
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 442 off_t offset = va_arg(ap, off_t); local 466 new_offset = offset; 469 if (!safe_addition(cpio_fd->current, offset)) { 472 new_offset = cpio_fd->current + offset; 475 if (offset > 0) { 479 new_offset = cpio_fd->size + offset;
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 442 off_t offset = va_arg(ap, off_t); local 466 new_offset = offset; 469 if (!safe_addition(cpio_fd->current, offset)) { 472 new_offset = cpio_fd->current + offset; 475 if (offset > 0) { 479 new_offset = cpio_fd->size + offset;
|
/seL4-refos-master/libs/librefos/include/refos-rpc/ |
H A D | data_client_helper.h | 165 @param offset The offset into the remote dataspace to provide content for. 172 data_provide_data(seL4_CPtr session, seL4_CPtr dspace_fd, uint32_t offset, char *content, argument 185 return data_provide_data_from_parambuffer(session, dspace_fd, offset, contentSize);
|
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_morecore.c | 119 off_t offset = va_arg(ap, int); local 122 (void) offset;
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | data_client_helper.h | 165 @param offset The offset into the remote dataspace to provide content for. 172 data_provide_data(seL4_CPtr session, seL4_CPtr dspace_fd, uint32_t offset, char *content, argument 185 return data_provide_data_from_parambuffer(session, dspace_fd, offset, contentSize);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_morecore.c | 119 off_t offset = va_arg(ap, int); local 122 (void) offset;
|
/seL4-refos-master/libs/libmuslc/include/ |
H A D | stropts.h | 106 int offset; member in struct:strfdinsert
|
/seL4-refos-master/libs/libmuslc/include/sys/ |
H A D | timex.h | 21 long offset, freq, maxerror, esterror; member in struct:timex
|
/seL4-refos-master/libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument 32 assert(bi && paddr && offset && frame_cap); 38 *offset = (seL4_Word)paddr - bi->untypedList[i].paddr; 54 size_bits, path->root, path->dest, path->destDepth, path->offset, 1);
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument 32 assert(bi && paddr && offset && frame_cap); 38 *offset = (seL4_Word)paddr - bi->untypedList[i].paddr; 54 size_bits, path->root, path->dest, path->destDepth, path->offset, 1);
|
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
H A D | vspace.h | 27 unsigned int offset; member in struct:createMappingEntries_ret
|
/seL4-refos-master/kernel/include/object/ |
H A D | cnode.h | 15 word_t offset; member in struct:slot_range
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 321 word_t offset; local 331 offset = vaddr & MASK(seL4_LargePageBits); 336 offset = vaddr & MASK(seL4_PageBits); 345 value = (word_t *)(kernel_vaddr + offset);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 136 REFOS_PAGE_ALIGN(aw->offset); 151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) { 236 vmFaultNotification.arg[3] = aw->offset;
|
H A D | data_syscall.c | 223 /* Check that the offset is sane. */ 390 vaddr_t offset = rpc_offset + (i * REFOS_PAGE_SIZE); local 391 ram_dspace_set_content_init_provided(dspace, offset); 392 ram_dspace_content_init_reply_waiters(dspace, offset);
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | fault_handler.c | 136 REFOS_PAGE_ALIGN(aw->offset); 151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) { 236 vmFaultNotification.arg[3] = aw->offset;
|
H A D | data_syscall.c | 223 /* Check that the offset is sane. */ 390 vaddr_t offset = rpc_offset + (i * REFOS_PAGE_SIZE); local 391 ram_dspace_set_content_init_provided(dspace, offset); 392 ram_dspace_content_init_reply_waiters(dspace, offset);
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | cspace.c | 130 word_t capGuard, offset; local 171 offset = (capptr >> (n_bits - levelBits)) & MASK(radixBits); 172 slot = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap)) + offset;
|
/seL4-refos-master/projects/refos/design/ |
H A D | protocol.tex | 124 C=>P [ label = "dataserv\_session\_C.datamap(dataserv\_dataspace\_C, procserv\_window\_C, offset)"]; 154 P box P [label = "transform fault into window\_id, offset"]; 155 P->D [ label = "dataserv\_event\_C.pagefault\_notify(window\_id,offset,op)"]; 215 C=>R [ label = "procserv\_session\_C.datamap(procserv\_dataspace\_C, procserv\_window\_C, offset)"]; 221 D=>R [ label = "procserv\_session\_C.datamap(procserv\_dataspace\_C, procserv\_window2\_C, offset)"]; 253 CA=>D [ label = "dataserv\_session\_C.datamap(dataserv\_dataspace\_C, procserv\_window\_C, offset)"]; 265 CB=>D [ label = "dataserv\_session\_C.datamap(dataserv\_dataspace\_C, procserv\_window2\_C, offset)"]; 314 C=>P [ label = "procserv\_session\_C.datamap(procserv\_dataspace\_C, procserv\_window\_C, offset)"]; 343 P box P [label = "transform fault into window\_id, offset"]; 344 P->D [ label = "dataserv\_event\_C.initfault\_notify(data\_id, offset)"]; [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | questpgr.c | 47 (void) dlb_fseek(msg_file, msg->offset, SEEK_SET); 400 (void) dlb_fseek(msg_file, qt_msg->offset, SEEK_SET); 418 (void) dlb_fseek(msg_file, qt_msg->offset, SEEK_SET);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | questpgr.c | 47 (void) dlb_fseek(msg_file, msg->offset, SEEK_SET); 400 (void) dlb_fseek(msg_file, qt_msg->offset, SEEK_SET); 418 (void) dlb_fseek(msg_file, qt_msg->offset, SEEK_SET);
|