insert_rbx
{ 0x1f, 11, insert_rbx, NULL, PPC_OPERAND_GPR },
static unsigned long insert_rbx (unsigned long, long, ppc_cpu_t, const char **);