Lines Matching refs:kernel_name
189 const char *kernel_name, enum ldmode mode,
220 printf("Loading %s ", kernel_name);
256 const char *kernel_name;
287 kernel_name = arg;
290 boot_image = malloc(strlen(kernel_name) + 12);
296 strcpy(boot_image + 11, kernel_name);
306 printf("Loading %s... ", kernel_name);
308 if (loadfile(kernel_name, &kernel_data, &kernel_len)) {
310 printf("Loading %s ", kernel_name);
334 if (process_initramfs_args(arg, initramfs, kernel_name, ldmode_raw,
342 if (process_initramfs_args(arg, initramfs, kernel_name, ldmode_raw,
350 if (process_initramfs_args(arg, initramfs, kernel_name, ldmode_cpio,
