HelenOS sources

check_kernel_translated  296 boot/arch/arm64/src/main.c 	uintptr_t entry = check_kernel_translated((void *) decompress_base,
check_kernel_translated  145 boot/arch/ppc32/src/main.c 	uintptr_t entry = check_kernel_translated(inflate_base, 0);
check_kernel_translated   34 boot/generic/include/kernel.h uintptr_t check_kernel_translated(void *, uintptr_t);
check_kernel_translated  115 boot/generic/src/kernel.c 	return check_kernel_translated(start, (uintptr_t) start);