Symbol: OP_ICBI
sys/arch/powerpc/booke/booke_cache.c
101
case OP_ICBI: icbi(va, i); break;
sys/arch/powerpc/booke/booke_cache.c
104
if (op != OP_ICBI)
sys/arch/powerpc/booke/booke_cache.c
136
cache_op(va, PAGE_SIZE, curcpu()->ci_ci.icache_line_size, OP_ICBI);
sys/arch/powerpc/booke/booke_cache.c
163
cache_op(va, len, curcpu()->ci_ci.icache_line_size, OP_ICBI);