Symbol: dcbi
sys/arch/powerpc/booke/booke_cache.c
98
case OP_DCBI: dcbi(va, i); break;
sys/arch/powerpc/powerpc/bus_dma.c
648
dcbi(addr, seglen, dcache_line_size);