XSYNC            5845 arch/powerpc/xmon/ppc-opc.c {"hwsync",	XSYNC(31,598,0), 0xffffffff, POWER4,	BOOKE|PPC476,	{0}},
XSYNC            5846 arch/powerpc/xmon/ppc-opc.c {"lwsync",	XSYNC(31,598,1), 0xffffffff, PPC,	E500,		{0}},
XSYNC            5847 arch/powerpc/xmon/ppc-opc.c {"ptesync",	XSYNC(31,598,2), 0xffffffff, PPC64,	0,		{0}},