insert_nbi
{ 0x1f, 11, insert_nbi, extract_nb, PPC_OPERAND_PLUS1 },
static unsigned long insert_nbi (unsigned long, long, ppc_cpu_t, const char **);