insert_rx
{ 0x1f, PPC_OPSHIFT_INV, insert_rx, extract_rx, PPC_OPERAND_GPR },
static unsigned long insert_rx (unsigned long, long, ppc_cpu_t, const char **);