Home
last modified time | relevance | path

Searched refs:xlat_arch_tlbi_va (Results 1 – 5 of 5) sorted by relevance

/rk3399_ARM-atf/lib/xlat_tables_v2/
H A Dxlat_tables_private.h66 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime);
H A Dxlat_tables_core.c391 xlat_arch_tlbi_va(table_idx_va, ctx->xlat_regime); in xlat_tables_unmap_region()
410 xlat_arch_tlbi_va(table_idx_va, in xlat_tables_unmap_region()
H A Dxlat_tables_utils.c610 xlat_arch_tlbi_va(base_va, ctx->xlat_regime); in xlat_change_mem_attributes_ctx()
/rk3399_ARM-atf/lib/xlat_tables_v2/aarch32/
H A Dxlat_tables_arch.c108 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() function
/rk3399_ARM-atf/lib/xlat_tables_v2/aarch64/
H A Dxlat_tables_arch.c232 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() function