// SPDX-License-Identifier: GPL-2.0 #include <linux/efi_embedded_fw.h> #include <linux/property.h> #include <linux/security.h> #include <linux/vmalloc.h> #include "fallback.h" #include "firmware.h" int firmware_fallback_platform(struct fw_priv *fw_priv) { … }