// SPDX-License-Identifier: GPL-2.0+ | |
/* | |
* Copyright 2013 Albert ARIBAUD <albert.u.boot@aribaud.net> | |
*/ | |
#include <linux/compiler.h> | |
char __efi_runtime_start[0] __section(".__efi_runtime_start"); | |
char __efi_runtime_stop[0] __section(".__efi_runtime_stop"); | |
char __efi_runtime_rel_start[0] | |
__section(".__efi_runtime_rel_start"); | |
char __efi_runtime_rel_stop[0] | |
__section(".__efi_runtime_rel_stop"); |