Lines Matching defs:kernel
28 * Since we are compiled outside of the normal kernel build process, we
131 * Figure out the physical address the kernel was loaded at. This
269 inflate_kernel(void *kernel, void *startaddr)
274 orig_input = kernel;
276 i_input = (unsigned char *)kernel + GZ_HEAD;
277 if (((char *)kernel)[3] & 0x18) {
483 * For some reason, the KB9202 won't boot the kernel unless
496 char *kernel = (char *)&kernel_start;
504 if (*kernel == 0x1f && kernel[1] == 0x8b) {
510 /* Gzipped kernel */
511 dst = inflate_kernel(kernel, &_end);
512 kernel = (char *)&_end;
513 altdst = 4 + load_kernel((unsigned int)kernel,
543 do_call(dst, kernel, dst + (unsigned int)(&func_end) -