VX_12             189 arch/s390/kernel/dis.c 	[VX_12]	 = {  4, 12, OPERAND_INDEX | OPERAND_VR },
VX_12             331 arch/s390/kernel/dis.c 	[INSTR_VRV_VVXRDU]   = { V_8, D_20, VX_12, B_16, U4_32, 0 },