| /seL4-test-master/projects/musllibc/src/unistd/ |
| H A D | lseek.c | 5 off_t lseek(int fd, off_t offset, int whence) argument
|
| /seL4-test-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
|
| H A D | browser.c | 25 _browse_tables(void* table, size_t offset) argument
222 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument
|
| H A D | regions.h | 40 size_t offset; member in struct:RegionList
|
| /seL4-test-master/kernel/include/object/ |
| H A D | cnode.h | 15 word_t offset; member in struct:slot_range
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4nanopb/src/ |
| H A D | common.c | 13 pb_ostream_t pb_ostream_from_IPC(seL4_Word offset) argument
20 pb_istream_t pb_istream_from_IPC(seL4_Word offset) argument
|
| /seL4-test-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-test-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
| H A D | edma_beaglebone.c | 73 unsigned int offset; local
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | twinkle.h | 27 size_t offset; member in struct:utspace_twinkle_ut
|
| /seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | cspacepath_t.h | 90 seL4_Word offset; member in struct:_cspacepath_t
|
| /seL4-test-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-test-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-test-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-test-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-test-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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | generic_forward_device.c | 26 uint32_t offset = fault_addr - dev->pstart; local
|
| H A D | ac_device.c | 27 int offset; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_emul_helpers.c | 12 static int read_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
| /seL4-test-master/projects/musllibc/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-test-master/tools/seL4/elfloader-tool/src/arch-arm/ |
| H A D | sys_boot.c | 78 uint32_t offset = start - new_base; local
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 27 unsigned int offset; member in struct:createMappingEntries_ret
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | vsysreg.c | 28 int offset; local
|
| /seL4-test-master/projects/util_libs/libpci/include/pci/ |
| H A D | pci_config.h | 49 static inline int libpci_device_cfg_sizeof(int offset) { argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
| H A D | src.c | 38 sreg(struct src_priv* src, int offset) argument
45 preg(struct src_priv* src, int offset) argument
|