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