Searched refs:offset (Results 101 - 125 of 193) sorted by relevance

12345678

/seL4-refos-master/projects/util_libs/libelf/src/
H A Delf.c274 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 Dvspace.c322 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 Dvspace.c322 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 Dmarvell.c281 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 Dsys_io.c442 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 Dsys_io.c442 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 Ddata_client_helper.h165 @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 Dsys_morecore.c119 off_t offset = va_arg(ap, int); local
122 (void) offset;
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Ddata_client_helper.h165 @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 Dsys_morecore.c119 off_t offset = va_arg(ap, int); local
122 (void) offset;
/seL4-refos-master/libs/libmuslc/include/
H A Dstropts.h106 int offset; member in struct:strfdinsert
/seL4-refos-master/libs/libmuslc/include/sys/
H A Dtimex.h21 long offset, freq, maxerror, esterror; member in struct:timex
/seL4-refos-master/libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c28 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 Dlibsel4simple-default.c28 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 Dvspace.h27 unsigned int offset; member in struct:createMappingEntries_ret
/seL4-refos-master/kernel/include/object/
H A Dcnode.h15 word_t offset; member in struct:slot_range
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c321 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 Dfault_handler.c136 REFOS_PAGE_ALIGN(aw->offset);
151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) {
236 vmFaultNotification.arg[3] = aw->offset;
H A Ddata_syscall.c223 /* 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 Dfault_handler.c136 REFOS_PAGE_ALIGN(aw->offset);
151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) {
236 vmFaultNotification.arg[3] = aw->offset;
H A Ddata_syscall.c223 /* 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 Dcspace.c130 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 Dprotocol.tex124 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 Dquestpgr.c47 (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 Dquestpgr.c47 (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);

Completed in 196 milliseconds

12345678