Symbol: cpu_idcache_wbinv_range
sys/arch/arm64/arm64/pmap.c
786
cpu_idcache_wbinv_range(va & ~PAGE_MASK, PAGE_SIZE);
sys/arch/arm64/include/cpufunc.h
48
void cpu_idcache_wbinv_range(vaddr_t, vsize_t);