OP_DCBZ
cache_op(va, PAGE_SIZE, curcpu()->ci_ci.dcache_line_size, OP_DCBZ);
case OP_DCBZ: dcbz(va, i); break;