[PATCH] add tlbiel instruction for ppc64

[Anton Blanchard]

Hi,

Here is a patch to add tlbiel for ppc64. It is the processor local
form of tlbie and some recent optimisations in the 2.5 ppc64 linux
kernel rely on it.

Thanks,
Anton

	* ppc-opc.c: Add "tlbiel" for ppc64


--- opcodes/ppc-opc.c~	Tue May  7 16:54:45 2002
+++ opcodes/ppc-opc.c	Wed May  1 15:54:29 2002
@@ -3065,6 +3065,8 @@
 { "addo.",   XO(31,266,1,1), XO_MASK,	PPCCOM,		{ RT, RA, RB } },
 { "caxo.",   XO(31,266,1,1), XO_MASK,	PWRCOM,		{ RT, RA, RB } },
 
+{ "tlbiel",  X(31,274),	XRTLRA_MASK,	PPC64,		{ RB, L } },
+
 { "mfapidi", X(31,275), X_MASK,		BOOKE,		{ RT, RA } },
 
 { "lscbx",   XRC(31,277,0), X_MASK,	M601,		{ RT, RA, RB } },