insert_fxm
{ 0xff, 12, insert_fxm, extract_fxm, 0 },
{ 0xff, 12, insert_fxm, extract_fxm,
static unsigned long insert_fxm (unsigned long, long, ppc_cpu_t, const char **);