VIO_RDX
msg.tag.vio_subtype_env = VIO_RDX;
ASSERT(msgp->tag.vio_subtype_env == VIO_RDX);
Q(VIO_RDX)
CASE_ENV(VIO_RDX)
if (!vd_msgtype(&msg->tag, VIO_TYPE_CTRL, VIO_SUBTYPE_INFO, VIO_RDX)) {
tagp->vio_subtype_env = VIO_RDX;
case VIO_RDX:
if ((tagp->vio_subtype_env == VIO_RDX) &&
case VIO_RDX:
rdx_msg.tag.vio_subtype_env = VIO_RDX;