prinst           3972 tools/finsig_dryos.c     int prinst = (ofst&0xf000)>>12;
prinst           3976 tools/finsig_dryos.c     switch (prinst) {
prinst           2965 tools/finsig_vxworks.c     int prinst = (ofst&0xf000)>>12;
prinst           2969 tools/finsig_vxworks.c     switch (prinst) {