extract_nsi
{ 0xffff, 0, insert_nsi, extract_nsi,
static long extract_nsi (unsigned long, ppc_cpu_t, int *);