Searched refs:tlbi_va_range (Results 1 – 4 of 4) sorted by relevance
| /optee_os/core/arch/arm/mm/ |
| H A D | core_mmu.c | 34 void tlbi_va_range(vaddr_t va, size_t len, size_t granule) in tlbi_va_range() function
|
| H A D | tee_pager.c | 415 tlbi_va_range(smem, nbytes, SMALL_PAGE_SIZE); in tee_pager_set_alias_area()
1991 tlbi_va_range(begin, end - begin, SMALL_PAGE_SIZE); in tee_pager_release_phys()
|
| /optee_os/core/include/mm/ |
| H A D | core_mmu.h | 626 void tlbi_va_range(vaddr_t va, size_t len, size_t granule);
|
| /optee_os/core/arch/riscv/mm/ |
| H A D | core_mmu_arch.c | 571 void tlbi_va_range(vaddr_t va, size_t len, in tlbi_va_range() function
|