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