Lines Matching defs:kernel
71 int kernel;
83 const char *__elfN(kerneltype) = "elf kernel";
147 printf("elf" __XSTRING(__ELF_WORD_SIZE) "_loadfile: can't load module before kernel\n");
152 printf("elf" __XSTRING(__ELF_WORD_SIZE) "_loadfile: can't load module with kernel type '%s'\n", kfp->f_type);
157 ef.kernel = 0;
160 /* Looks like a kernel */
162 printf("elf" __XSTRING(__ELF_WORD_SIZE) "_loadfile: kernel already loaded\n");
167 * Calculate destination address based on kernel entrypoint
171 printf("elf" __XSTRING(__ELF_WORD_SIZE) "_loadfile: not a kernel (maybe static binary?)\n");
175 ef.kernel = 1;
196 if (ef.kernel)
199 fp->f_type = strdup(ef.kernel ? __elfN(kerneltype) : __elfN(moduletype));
202 if (ef.kernel)
262 if (ef->kernel) {
271 * On the purely virtual memory machines like e500, the kernel is
273 * available at the loader stage, but only after kernel initializes
282 * that the Book-E kernel assumes that it's loaded at a 16MB
563 if (ef->kernel) /* kernel must not depend on anything */
667 if (ef->kernel) /* kernel must not depend on anything */
772 * The kernel is already relocated, but we still want to apply
775 if (ef->kernel)