HelenOS sources

check_kernel      107 boot/arch/arm32/src/main.c 	uintptr_t entry = check_kernel((void *) PA2KA(BOOT_OFFSET));
check_kernel      198 boot/arch/ia64/src/main.c 	uintptr_t entry = check_kernel(kernel_start);
check_kernel       84 boot/arch/mips32/src/main.c 	uintptr_t entry = check_kernel(kernel_start);
check_kernel       91 boot/arch/riscv64/src/main.c 	uintptr_t entry = check_kernel(load_addr);
check_kernel      260 boot/arch/sparc64/src/main.c 	uintptr_t entry = check_kernel((void *) KERNEL_ADDRESS);
check_kernel       35 boot/generic/include/kernel.h uintptr_t check_kernel(void *);