Lines Matching defs:kernel
69 int kernel;
389 * kernel. This assumption will be checked later.
392 ef.kernel = 1;
394 if (ef.kernel || ehdr->e_type == ET_EXEC) {
395 /* Looks like a kernel */
398 "_loadfile: kernel already loaded\n");
403 * Calculate destination address based on kernel entrypoint.
406 * in the elf header (an ARM kernel can be loaded at any 2MB
416 "_loadfile: not a kernel (maybe static binary?)\n");
420 ef.kernel = 1;
432 "_loadfile: can't load module before kernel\n");
438 "_loadfile: can't load module with kernel type '%s'\n",
444 ef.kernel = 0;
466 if (ef.kernel == 1 && multiboot == 0)
470 fp->f_type = strdup(ef.kernel ?
476 if (ef.kernel)
560 if (ef->kernel) {
574 * On the purely virtual memory machines like e500, the kernel
576 * not available at the loader stage, but only after kernel
585 * hardcoded. Note that the Book-E kernel assumes that
601 * address the kernel was linked at. We subtract that from the
606 * the kernel by just jumping to that address.
625 if (ef->kernel)
723 * We need to tell the kernel where it is so that it can call the
927 if (ef->kernel) /* kernel must not depend on anything */
1006 if (ef.kernel == 1 || ef.ehdr->e_type == ET_EXEC) {
1007 ef.kernel = 1;
1177 if (ef->kernel) /* kernel must not depend on anything */
1289 * The kernel is already relocated, but we still want to apply
1292 if (ef->kernel)