103987d01SAntonio Nino Diaz /* 203987d01SAntonio Nino Diaz * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. 303987d01SAntonio Nino Diaz * 403987d01SAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 503987d01SAntonio Nino Diaz */ 603987d01SAntonio Nino Diaz 703987d01SAntonio Nino Diaz #if XLAT_TABLES_LIB_V2 8*09d40e0eSAntonio Nino Diaz #include <lib/xlat_tables/xlat_tables_v2.h> 903987d01SAntonio Nino Diaz #else 10*09d40e0eSAntonio Nino Diaz #include <lib/xlat_tables/xlat_tables.h> 1103987d01SAntonio Nino Diaz #endif 12