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