1*03987d01SAntonio Nino Diaz /* 2*03987d01SAntonio Nino Diaz * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. 3*03987d01SAntonio Nino Diaz * 4*03987d01SAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 5*03987d01SAntonio Nino Diaz */ 6*03987d01SAntonio Nino Diaz 7*03987d01SAntonio Nino Diaz #if XLAT_TABLES_LIB_V2 8*03987d01SAntonio Nino Diaz #include <xlat_tables_v2.h> 9*03987d01SAntonio Nino Diaz #else 10*03987d01SAntonio Nino Diaz #include <xlat_tables.h> 11*03987d01SAntonio Nino Diaz #endif 12