insert_bdm
{ 0xfffc, 0, insert_bdm, extract_bdm,
static unsigned long insert_bdm (unsigned long, long, ppc_cpu_t, const char **);