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