SEND_ONLY_WITH_INVALIDATE
case OP(SEND_ONLY_WITH_INVALIDATE):
if (opcode == OP(SEND_ONLY_WITH_INVALIDATE))
qp->s_state = OP(SEND_ONLY_WITH_INVALIDATE);
case OP(RC, SEND_ONLY_WITH_INVALIDATE):