Home
last modified time | relevance | path

Searched defs:xlat_arch_tlbi_va (Results 1 – 2 of 2) sorted by relevance

/arm-trusted-firmware/lib/xlat_tables_v2/aarch32/
H A Dxlat_tables_arch.c106 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() function
/arm-trusted-firmware/lib/xlat_tables_v2/aarch64/
H A Dxlat_tables_arch.c186 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() function