path: root/arch/x86/lib/acpi_table.h

/*
 * SPDX-License-Identifier:	GPL-2.0
 */

#ifndef _X86_LIB_ACPI_TABLES_H
#define _X86_LIB_ACPI_TABLES_H

extern unsigned long acpi_rsdp_addr;

#endif