Lines Matching defs:kernel
17 #include <linux/kernel.h>
334 /* kernel should be at least two sectors long */
372 * Can't handle 32bit EFI as it does not allow loading kernel
376 pr_debug("EFI is 32 bit. Can't load kernel above 4G.\n");
392 static void *bzImage64_load(struct kimage *image, char *kernel,
413 header = (struct setup_header *)(kernel + setup_hdr_offset);
489 setup_header_size = 0x0202 + kernel[0x0201] - setup_hdr_offset;
492 memcpy(¶ms->hdr, (kernel + setup_hdr_offset), setup_header_size);
505 /* Load kernel */
506 kbuf.buffer = kernel + kern16_size;
520 kexec_dprintk("Loaded 64bit kernel at 0x%lx bufsz=0x%lx memsz=0x%lx\n",
544 /* bootloader info. Do we need a separate ID for kexec kernel loader? */