Searched refs:machine_initrd_f (Results 1 – 1 of 1) sorted by relevance
443 FILE *machine_initrd_f = NULL; in read_eif_file() local659 machine_initrd_f = fopen(machine_initrd, "rb"); in read_eif_file()660 if (machine_initrd_f == NULL) { in read_eif_file()666 machine_initrd_size = get_file_size(machine_initrd_f, errp); in read_eif_file()671 if (!read_eif_ramdisk(machine_initrd_f, initrd_path_f, in read_eif_file()689 safe_fclose(machine_initrd_f); in read_eif_file()695 safe_fclose(machine_initrd_f); in read_eif_file()