insert_bdp
{ 0xfffc, 0, insert_bdp, extract_bdp,
static unsigned long insert_bdp (unsigned long, long, ppc_cpu_t, const char **);