extract_mb6
{ 0x3f, 5, insert_mb6, extract_mb6, 0 },
static long extract_mb6 (unsigned long, ppc_cpu_t, int *);