Symbol: dcbf
sys/arch/powerpc/booke/booke_cache.c
47
dcbf(vaddr_t va, vsize_t off)
sys/arch/powerpc/powerpc/bus_dma.c
87
dcbf(paddr_t pa, long len, int dcache_line_size)