// SPDX-License-Identifier: GPL-2.0+
/*
 * Copyright 2013 Albert ARIBAUD <albert.u.boot@aribaud.net>
 *
 */
#include <linux/compiler.h>

char __efi_runtime_start[0] __section(".__efi_runtime_start");
char __efi_runtime_stop[0] __section(".__efi_runtime_stop");
char __efi_runtime_rel_start[0]
		__section(".__efi_runtime_rel_start");
char __efi_runtime_rel_stop[0]
		__section(".__efi_runtime_rel_stop");
