Symbol: OP_DCBI
sys/arch/powerpc/booke/booke_cache.c
123
cache_op(va, PAGE_SIZE, curcpu()->ci_ci.dcache_line_size, OP_DCBI);
sys/arch/powerpc/booke/booke_cache.c
156
cache_op(va, len, curcpu()->ci_ci.dcache_line_size, OP_DCBI);
sys/arch/powerpc/booke/booke_cache.c
98
case OP_DCBI: dcbi(va, i); break;