XRTRA            4913 arch/powerpc/xmon/ppc-opc.c {"msgsndp",	XRTRA(31,142,0,0), XRTRA_MASK, POWER8,	0,		{RB}},
XRTRA            4955 arch/powerpc/xmon/ppc-opc.c {"msgclrp",	XRTRA(31,174,0,0), XRTRA_MASK, POWER8,	0,		{RB}},
XRTRA            4995 arch/powerpc/xmon/ppc-opc.c {"msgsnd",	XRTRA(31,206,0,0), XRTRA_MASK, E500MC|PPCA2|POWER8, 0,	{RB}},
XRTRA            5044 arch/powerpc/xmon/ppc-opc.c {"msgclr",	XRTRA(31,238,0,0), XRTRA_MASK, E500MC|PPCA2|POWER8, 0,	{RB}},