1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright 2013 Albert ARIBAUD <albert.u.boot@aribaud.net>
4  *
5  */
6 
7 char __efi_runtime_start[0] __attribute__((section(".__efi_runtime_start")));
8 char __efi_runtime_stop[0] __attribute__((section(".__efi_runtime_stop")));
9 char __efi_runtime_rel_start[0]
10 		__attribute__((section(".__efi_runtime_rel_start")));
11 char __efi_runtime_rel_stop[0]
12 		__attribute__((section(".__efi_runtime_rel_stop")));
13