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