insert_ral
{ 0x1f, 16, insert_ral, NULL, PPC_OPERAND_GPR_0 },
static unsigned long insert_ral (unsigned long, long, ppc_cpu_t, const char **);