Searched refs:kernel_virt_to_elf_addr (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/include/
H A Ddebug.h18 uintptr_t kernel_virt_to_elf_addr(void *addr);
/barrelfish-master/kernel/arch/arm/
H A Ddebug.c17 uintptr_t kernel_virt_to_elf_addr(void *addr) function
/barrelfish-master/kernel/arch/x86_64/
H A Ddebug.c91 uintptr_t kernel_virt_to_elf_addr(void *addr) function
/barrelfish-master/kernel/
H A Dcapabilities.c1258 (void*)kernel_virt_to_elf_addr(__builtin_return_address(0)));
1275 (void*)kernel_virt_to_elf_addr(__builtin_return_address(0)));

Completed in 89 milliseconds