// SPDX-License-Identifier: GPL-2.0 /* * Copyright 2012 Intel Corporation * Author: Josh Triplett <[email protected]> * * Based on the bgrt driver: * Copyright 2012 Red Hat, Inc <[email protected]> * Author: Matthew Garrett */ #define pr_fmt(fmt) … #include <linux/kernel.h> #include <linux/init.h> #include <linux/acpi.h> #include <linux/efi.h> #include <linux/efi-bgrt.h> struct acpi_table_bgrt bgrt_tab; size_t bgrt_image_size; struct bmp_header { … } __packed; void __init efi_bgrt_init(struct acpi_table_header *table) { … }