Lines Matching refs:kernel
26 * Since we are compiled outside of the normal kernel build process, we
188 * Figure out the physical address the kernel was loaded at. This
458 inflate_kernel(void *kernel, void *startaddr)
463 orig_input = kernel;
465 i_input = (unsigned char *)kernel + GZ_HEAD;
466 if (((char *)kernel)[3] & 0x18) {
662 * For some reason, the KB9202 won't boot the kernel unless
675 char *kernel = (char *)&kernel_start;
683 if (*kernel == 0x1f && kernel[1] == 0x8b) {
694 /* Gzipped kernel */
695 dst = inflate_kernel(kernel, &_end);
696 kernel = (char *)&_end;
697 altdst = 4 + load_kernel((unsigned int)kernel,
727 do_call(dst, kernel, dst + (unsigned int)(&func_end) -