// SPDX-License-Identifier: GPL-2.0+ /* * Copyright 2013 Albert ARIBAUD * */ #include 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");