r4k_op_needs_ipi
if (r4k_op_needs_ipi(type))
if (r4k_op_needs_ipi(R4K_INDEX) && !r4k_op_needs_ipi(R4K_HIT)) {
if (!r4k_op_needs_ipi(R4K_INDEX) && size >= dcache_size) {
if (!r4k_op_needs_ipi(R4K_INDEX) && size >= dcache_size) {
if (r4k_op_needs_ipi(type))