efi_status        141 drivers/firmware/efi/libstub/fdt.c 		efi_status_t efi_status;
efi_status        143 drivers/firmware/efi/libstub/fdt.c 		efi_status = efi_get_random_bytes(sys_table, sizeof(fdt_val64),
efi_status        145 drivers/firmware/efi/libstub/fdt.c 		if (efi_status == EFI_SUCCESS) {
efi_status        149 drivers/firmware/efi/libstub/fdt.c 		} else if (efi_status != EFI_NOT_FOUND) {
efi_status        150 drivers/firmware/efi/libstub/fdt.c 			return efi_status;