extract_boe
{ 0x1e, 21, insert_boe, extract_boe, 0 },
static long extract_boe (unsigned long, ppc_cpu_t, int *);