Function check_kernel

boot/generic/src/kernel.c:113–116

}

uintptr_t check_kernel(void *start)
{
	return check_kernel_translated(start, (uintptr_t) start);
}

/**
 * Checks that the kernel ELF image is valid, and returns the entry point