extract_dxdn
{ 0xffff, PPC_OPSHIFT_INV, insert_dxdn, extract_dxdn,
static long extract_dxdn (unsigned long, ppc_cpu_t, int *);