orig_fdt_size      31 drivers/firmware/efi/libstub/fdt.c 			       unsigned long orig_fdt_size,
orig_fdt_size      50 drivers/firmware/efi/libstub/fdt.c 		if (orig_fdt_size && fdt_totalsize(orig_fdt) > orig_fdt_size) {