x86: acpi: Use an API to get the ACPI RSDP table address
[oweals/u-boot.git] / arch / x86 / lib / sections.c
1 /*
2  * Copyright 2013 Albert ARIBAUD <albert.u.boot@aribaud.net>
3  *
4  * SPDX-License-Identifier:     GPL-2.0+
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")));