Symbol: PTE_ICACHE_SYNC_PAGE
sys/arch/aarch64/aarch64/pmap.c
1371
PTE_ICACHE_SYNC_PAGE(pte, ptep, pai->pai_asid,
sys/arch/aarch64/aarch64/pmap.c
2015
PTE_ICACHE_SYNC_PAGE(pte, ptep, asid, va);