insert_rbs
{ 0x1f, 11, insert_rbs, extract_rbs, PPC_OPERAND_FAKE },
static unsigned long insert_rbs (unsigned long, long, ppc_cpu_t, const char **);