pub const ppc_insn_PPC_INS_MFSPEFSCR: ppc_insn = 725;