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