Home
last modified time | relevance | path

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

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