prinst           3873 tools/finsig_dryos.c     int prinst = (ofst&0xf000)>>12;
prinst           3877 tools/finsig_dryos.c     switch (prinst) {
prinst           2852 tools/finsig_vxworks.c     int prinst = (ofst&0xf000)>>12;
prinst           2856 tools/finsig_vxworks.c     switch (prinst) {