XRTLRARB_MASK    4922 arch/powerpc/xmon/ppc-opc.c {"mtsle",	X(31,147),    XRTLRARB_MASK, POWER8,	0,		{L}},
XRTLRARB_MASK    5888 arch/powerpc/xmon/ppc-opc.c {"tbegin.",	XRC(31,654,1), XRTLRARB_MASK, PPCHTM,	0,		{HTM_R}},
XRTLRARB_MASK    6003 arch/powerpc/xmon/ppc-opc.c {"tsr.",	XRC(31,750,1),	  XRTLRARB_MASK,PPCHTM,	0,		{L}},