/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_io.c | 128 int offset = 0; local 130 while (offset < iov[i].iov_len) { 131 int nc = filetable_write(&refosIOState.fdTable, fildes, iov[i].iov_base + offset, 132 iov[i].iov_len - offset); 134 assert(nc <= iov[i].iov_len - offset); 135 offset += nc; 282 _sys_lseek(int fildes, off_t offset, int whence) argument 284 int newOffset = (int) offset; 302 off_t offset = va_arg(ap, int); local 304 return _sys_lseek(fildes, offset , whenc [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 70 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 193 static long sys_mmap_impl_static(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 210 static long sys_mmap_impl_dynamic(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 227 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 230 return sys_mmap_impl_static(addr, length, prot, flags, fd, offset); 232 return sys_mmap_impl_dynamic(addr, length, prot, flags, fd, offset); 346 off_t offset = va_arg(ap, off_t); local 347 return sys_mmap_impl(addr, length, prot, flags, fd, offset); 357 off_t offset = va_arg(ap, off_t); local 360 return sys_mmap_impl(addr, length, prot, flags, fd, offset * 409 [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
H A D | sys_boot.c | 35 extern void finish_relocation(int offset, void *_dynamic, unsigned int total_offset); 78 uint32_t offset = start - new_base; local 85 finish_relocation(offset, _DYNAMIC, new_base);
|
/seL4-refos-master/tools/elfloader/src/arch-arm/ |
H A D | sys_boot.c | 35 extern void finish_relocation(int offset, void *_dynamic, unsigned int total_offset); 78 uint32_t offset = start - new_base; local 85 finish_relocation(offset, _DYNAMIC, new_base);
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | nameserv.c | 194 int offset = ci - path; local 195 assert(offset >= 0 && offset < pathLen); 196 return offset;
|
/seL4-refos-master/libs/librefossys/include/refos-io/ |
H A D | filetable.h | 38 refos_err_t filetable_lseek(fd_table_t *fdt, int fd, int *offset, int whence);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | nameserv.c | 194 int offset = ci - path; local 195 assert(offset >= 0 && offset < pathLen); 196 return offset;
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
H A D | filetable.h | 38 refos_err_t filetable_lseek(fd_table_t *fdt, int fd, int *offset, int whence);
|
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | clock.c | 28 #define REG_READ(base, offset) *(uint32_t*)((uintptr_t)base + (offset)) 29 #define REG_WRITE(base, offset, v) *(uint32_t*)((uintptr_t)base + (offset)) = v
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | clock.c | 28 #define REG_READ(base, offset) *(uint32_t*)((uintptr_t)base + (offset)) 29 #define REG_WRITE(base, offset, v) *(uint32_t*)((uintptr_t)base + (offset)) = v
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.h | 128 @param offset Offset into frame to write to. 131 int procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset); 137 @param offset Offset into frame to read from. 140 int procserv_frame_read(seL4_CPtr frame, const char* dst, size_t len, size_t offset);
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.h | 128 @param offset Offset into frame to write to. 131 int procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset); 137 @param offset Offset into frame to read from. 140 int procserv_frame_read(seL4_CPtr frame, const char* dst, size_t len, size_t offset);
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 37 #define REG_PTR(base, offset) ((volatile uint32_t *)((char*)(base) + (offset)))
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 37 * This offset is added to region start addresses when 40 size_t offset; member in struct:RegionList 46 .offset = _offset \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 37 #define REG_PTR(base, offset) ((volatile uint32_t *)((char*)(base) + (offset)))
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 37 * This offset is added to region start addresses when 40 size_t offset; member in struct:RegionList 46 .offset = _offset \
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | elf.c | 51 BOOT_CODE void elf_load(Elf32_Header_t *elfFile, seL4_Word offset) argument 62 dst = phdr[i].p_vaddr + offset;
|
/seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
H A D | elf.c | 49 BOOT_CODE void elf_load(Elf64_Header_t *elf, seL4_Word offset) argument 59 dst = phdr[i].p_vaddr + offset;
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx7/ |
H A D | smp.c | 38 #define REG(base,offset) (*(volatile unsigned int*)(((void *)(base))+(offset)))
|
/seL4-refos-master/tools/elfloader/src/plat/imx7/ |
H A D | smp.c | 38 #define REG(base,offset) (*(volatile unsigned int*)(((void *)(base))+(offset)))
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | libfdt.h | 75 * offset which is out-of-bounds, or which points to an 148 const void *fdt_offset_ptr(const void *fdt, int offset, unsigned int checklen); 150 static inline void *fdt_offset_ptr_w(void *fdt, int offset, int checklen) argument 152 return (void *)(uintptr_t)fdt_offset_ptr(fdt, offset, checklen); 155 uint32_t fdt_next_tag(const void *fdt, int offset, int *nextoffset); 184 int fdt_next_node(const void *fdt, int offset, int *depth); 187 * fdt_first_subnode() - get offset of first direct subnode 190 * @offset: Offset of node to check 191 * @return offset of first subnode, or -FDT_ERR_NOTFOUND if there is none 193 int fdt_first_subnode(const void *fdt, int offset); [all...] |
H A D | fdt_rw.c | 351 int offset, nextoffset; local 359 offset = fdt_subnode_offset_namelen(fdt, parentoffset, name, namelen); 360 if (offset >= 0) 362 else if (offset != -FDT_ERR_NOTFOUND) 363 return offset; 368 offset = nextoffset; 369 tag = fdt_next_tag(fdt, offset, &nextoffset); 372 nh = fdt_offset_ptr_w_(fdt, offset); 385 return offset;
|
/seL4-refos-master/kernel/src/arch/arm/machine/ |
H A D | gic_v3.c | 182 word_t offset; local 191 for (offset = 0; offset < GICR_SIZE; offset += GICR_PER_CORE_SIZE) { 193 uint64_t typer = ((struct gic_rdist_map *)((word_t)gicr_base + offset))->typer; 199 word_t gicr = (word_t)gicr_base + offset; 224 if (offset >= GICR_SIZE) {
|
/seL4-refos-master/libs/libmuslc/src/env/ |
H A D | __init_tls.c | 74 dtv[i] = mem + p->offset; 85 dtv[i] = mem - p->offset; 134 main_tls.offset = main_tls.size;
|
/seL4-refos-master/libs/libmuslc/tools/ |
H A D | add-cfi.i386.awk | 174 offset = parse_const(substr($0, RSTART, RLENGTH-6)) 176 offset = 0 179 printf ".cfi_rel_offset %s,%d\n", register, offset
|