1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright 2013 Albert ARIBAUD <albert.u.boot@aribaud.net>
6 #include <linux/compiler.h>
8 char __efi_runtime_start[0] __section("___efi_runtime_start");
9 char __efi_runtime_stop[0] __section("___efi_runtime_stop");
10 char __efi_runtime_rel_start[0]
11 __section("___efi_runtime_rel_start");
12 char __efi_runtime_rel_stop[0]
13 __section("___efi_runtime_rel_stop");