XBFRARB_MASK
{"mcrxr", X(31,512), XBFRARB_MASK, COM, POWER7, {BF}},
{"mcrxrx", X(31,576), XBFRARB_MASK, POWER9, 0, {BF}},
