initrd_image_end 99 drivers/firmware/efi/libstub/fdt.c u64 initrd_image_end; initrd_image_end 106 drivers/firmware/efi/libstub/fdt.c initrd_image_end = cpu_to_fdt64(initrd_addr + initrd_size); initrd_image_end 107 drivers/firmware/efi/libstub/fdt.c status = fdt_setprop_var(fdt, node, "linux,initrd-end", initrd_image_end);