OP_DCBF
cache_op(va, PAGE_SIZE, curcpu()->ci_ci.dcache_line_size, OP_DCBF);
cache_op(va, len, curcpu()->ci_ci.dcache_line_size, OP_DCBF);
case OP_DCBF: dcbf(va, i); break;