/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | lseek.c | 5 off_t lseek(int fd, off_t offset, int whence) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.h | 34 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.h | 34 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument
|
/seL4-refos-master/kernel/include/object/ |
H A D | cnode.h | 15 word_t offset; member in struct:slot_range
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | util.h | 36 static inline uint64_t sel4utils_64_get_mr(seL4_Word offset) argument 53 static inline void sel4utils_64_set_mr(seL4_Word offset, uint64_t value) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | util.h | 36 static inline uint64_t sel4utils_64_get_mr(seL4_Word offset) argument 53 static inline void sel4utils_64_set_mr(seL4_Word offset, uint64_t value) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | edma_beaglebone.c | 73 unsigned int offset; local
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
H A D | twinkle.h | 27 size_t offset; member in struct:utspace_twinkle_ut
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | cspacepath_t.h | 90 seL4_Word offset; member in struct:_cspacepath_t
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | twinkle.h | 27 size_t offset; member in struct:utspace_twinkle_ut
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | cspacepath_t.h | 90 seL4_Word offset; member in struct:_cspacepath_t
|
/seL4-refos-master/libs/libplatsupport/src/plat/exynos5/ |
H A D | sysreg.c | 24 sreg(sysreg_t* sysreg, int offset) argument 31 preg(sysreg_t* sysreg, int offset) argument
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | libfdt_internal.h | 71 static inline const void *fdt_offset_ptr_(const void *fdt, int offset) argument 76 static inline void *fdt_offset_ptr_w_(void *fdt, int offset) argument
|
H A D | fdt_wip.c | 118 int fdt_node_end_offset_(void *fdt, int offset) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
H A D | sysreg.c | 24 sreg(sysreg_t* sysreg, int offset) argument 31 preg(sysreg_t* sysreg, int offset) argument
|
/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
|
/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
|
/seL4-refos-master/kernel/src/drivers/timer/ |
H A D | generic_timer.c | 106 uint64_t offset = vcpu_read_reg(vcpu, seL4_VCPUReg_CNTVOFF); local 114 uint64_t offset = ((uint64_t)offset_high << 32) | (uint64_t) offset_low; local
|
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_morecore.c | 119 off_t offset = va_arg(ap, int); local
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mapglyph.c | 67 register int offset; local [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_morecore.c | 119 off_t offset = va_arg(ap, int); local
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mapglyph.c | 67 register int offset; local [all...] |
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | dn_comp.c | 37 static int match(int *offset, const unsigned char *base, const unsigned char *dn, argument 60 int i, j, n, m=0, offset, bestlen=0, bestoff; local
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
H A D | sys_boot.c | 78 uint32_t offset = start - new_base; local
|
/seL4-refos-master/tools/elfloader/src/arch-arm/ |
H A D | sys_boot.c | 78 uint32_t offset = start - new_base; local
|