Searched refs:machine_initrd_f (Results 1 – 1 of 1) sorted by relevance
435 FILE *machine_initrd_f = NULL; in read_eif_file() local683 machine_initrd_f = fopen(machine_initrd, "rb"); in read_eif_file()684 if (machine_initrd_f == NULL) { in read_eif_file()690 machine_initrd_size = get_file_size(machine_initrd_f, errp); in read_eif_file()708 if (!read_eif_ramdisk(machine_initrd_f, initrd_path_f, in read_eif_file()733 safe_fclose(machine_initrd_f); in read_eif_file()743 safe_fclose(machine_initrd_f); in read_eif_file()