/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test_memserv.c | 229 int ram_dspace_read_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 230 int ram_dspace_write_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 245 int (*dsRead)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 246 int (*dsWrite)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | drawing.c | 643 assign_graphics(graph_chars, glth, maxlen, offset) 645 int glth, maxlen, offset; 650 showsyms[i+offset] = (((i < glth) && graph_chars[i]) ? 651 graph_chars[i] : defsyms[i+offset].sym);
|
H A D | vision.c | 15 * offset on the same row as the source *is* included so we don't have to 1585 register int sdy, sdx, pdy, offset; local 1602 offset = close_dy[sdy]->close[sdx][pdy]; 1604 return block_col + offset; 1606 return block_col - offset; 1614 register int sdy, sdx, pdy, offset; local 1637 if ((offset = far_dy[sdy]->far_q[sdx][pdy]) == OFF_TABLE) offset = -1; 1639 return block_col + offset; 1641 return block_col - offset; 2601 int y, min_x, max_x, max_y, offset; local [all...] |
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test_memserv.c | 229 int ram_dspace_read_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 230 int ram_dspace_write_page(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset); 245 int (*dsRead)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL; 246 int (*dsWrite)(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset) = NULL;
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 49 asm volatile("movq %[value], %%gs:%c[offset]" 52 [offset] "i"(OFFSETOF(nodeInfo_t, currentThreadUserContext)));
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.c | 386 printf("%p->", r->start - rl->offset); 387 printf("%p | ", r->start + r->size - rl->offset);
|
H A D | walker.c | 300 regions->offset = 0;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.c | 386 printf("%p->", r->start - rl->offset); 387 printf("%p | ", r->start + r->size - rl->offset);
|
H A D | walker.c | 300 regions->offset = 0;
|
H A D | acpi.c | 287 return dlist->regions[index].start - dlist->offset;
|
/seL4-refos-master/projects/refos/design/ |
H A D | appendix.tex | 31 R box R [ label = "transform into win\_id, offset"]; 200 R->P [ label = "pager\_AsyncEP.notifyfault(win id, offset, op, swap\_vaddr)"]; 206 P=>R [ label = "rootserver\_pagerid\_cap.map(win\_id, page\_num, offset, perms)"]; 221 R->P [ label = "pager\_AsyncEP.notifyfault(win\_id,offset,op)"]; 227 P=>R [ label = "rootserver\_pagerid\_cap.map(win\_id, page\_num, offset, perms)"];
|
/seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1329 unsigned int offset; local 1335 for (offset = 0; offset < BIT(asidLowBits); offset++) { 1336 if (pool->array[offset]) { 1337 flushSpace(asid_base + offset); 1338 invalidateASIDEntry(asid_base + offset); 2863 word_t offset; local 2870 offset = vaddr & MASK(ARMSectionBits); 2877 offset [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | vision.c | 15 * offset on the same row as the source *is* included so we don't have to 1585 register int sdy, sdx, pdy, offset; local 1602 offset = close_dy[sdy]->close[sdx][pdy]; 1604 return block_col + offset; 1606 return block_col - offset; 1614 register int sdy, sdx, pdy, offset; local 1637 if ((offset = far_dy[sdy]->far_q[sdx][pdy]) == OFF_TABLE) offset = -1; 1639 return block_col + offset; 1641 return block_col - offset; 2601 int y, min_x, max_x, max_y, offset; local [all...] |
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | page_dma.c | 112 frames[i].dest, frames[i].destDepth, frames[i].offset, 1);
|
H A D | slab.c | 153 path.destDepth, path.offset, 1);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wceconf.h | 337 extern int __cdecl fseek(FILE *f, long offset, int from);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | page_dma.c | 112 frames[i].dest, frames[i].destDepth, frames[i].offset, 1);
|
H A D | slab.c | 153 path.destDepth, path.offset, 1);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wceconf.h | 337 extern int __cdecl fseek(FILE *f, long offset, int from);
|
/seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1414 word_t offset; local 1419 for (offset = 0; offset < BIT(asidLowBits); offset++) { 1420 if (pool->array[offset]) { 1421 invalidateTLBByASID(asid_base + offset); 1423 invalidateASIDEntry(asid_base + offset); 2471 word_t offset; local 2482 offset = vaddr & MASK(pageBitsForSize(lookup_frame_ret.frameSize)); 2484 value = (word_t *)(kernel_vaddr + offset); [all...] |
/seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 462 handler_addr >> 32, /* offset 63 - 32 */ 468 (handler_addr & 0xffff) /* offset 15 - 0 */ 1547 word_t offset; local 1557 offset = vaddr & MASK(seL4_HugePageBits); 1565 offset = vaddr & MASK(seL4_LargePageBits); 1570 offset = vaddr & MASK(seL4_PageBits); 1580 value = (word_t *)(kernel_vaddr + offset);
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dynlink.c | 410 *reloc_addr = tls_val + def.dso->tls.offset + TPOFF_K + addend; 414 *reloc_addr = tls_val - def.dso->tls.offset + addend; 417 *reloc_addr = def.dso->tls.offset - tls_val + addend; 439 reloc_addr[1] = tls_val + def.dso->tls.offset 442 reloc_addr[1] = tls_val - def.dso->tls.offset 1051 p->tls.offset = tls_offset + ( (tls_align-1) & 1058 p->tls.offset = tls_offset; 1526 app.tls.offset = 0; 1531 tls_offset = app.tls.offset = app.tls.size
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 96 #define REG_PTR(base, offset) ((volatile uint32_t *)((char*)(base) + (offset)))
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 96 #define REG_PTR(base, offset) ((volatile uint32_t *)((char*)(base) + (offset)))
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | ethtool.h | 109 uint32_t offset; /* in bytes */ member in struct:ethtool_eeprom
|