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}},