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