Searched defs:sel4utils_elf_get_vsyscall (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libsel4utils/src/
H A Delf.c516 uintptr_t sel4utils_elf_get_vsyscall(elf_t *elf_file) function
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Delf.c516 uintptr_t sel4utils_elf_get_vsyscall(elf_t *elf_file) function

Completed in 27 milliseconds