/include/lib/xlat_tables/aarch64/

• ../
• xlat_tables_aarch64.h