Searched refs:tlbi_va_range_asid (Results 1 – 4 of 4) sorted by relevance
| /optee_os/core/arch/arm/mm/ |
| H A D | core_mmu.c | 49 void tlbi_va_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid) in tlbi_va_range_asid() function
|
| /optee_os/core/include/mm/ |
| H A D | core_mmu.h | 638 void tlbi_va_range_asid(vaddr_t va, size_t len, size_t granule, uint32_t asid);
|
| /optee_os/core/mm/ |
| H A D | vm.c | 144 tlbi_va_range_asid(r->va, r->size, SMALL_PAGE_SIZE, in rem_um_region()
780 tlbi_va_range_asid(r->va, r->size, SMALL_PAGE_SIZE, in vm_set_prot()
|
| /optee_os/core/arch/riscv/mm/ |
| H A D | core_mmu_arch.c | 595 void tlbi_va_range_asid(vaddr_t va, size_t len, in tlbi_va_range_asid() function
|