// 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")));
|
