dev               638 src/dps8/dps8_cable.c         p->dev           = devp;
dev              1574 src/dps8/dps8_cable.c                     chan_type_strs[p->chan_type], (void *) p->dev,
dev               153 src/dps8/dps8_cable.h     DEVICE * dev; // ctlr device
dev              2382 src/dps8/dps8_fnp2.c 
dev              2385 src/dps8/dps8_fnp2.c 
dev              2386 src/dps8/dps8_fnp2.c 
dev              2388 src/dps8/dps8_fnp2.c 
dev              2391 src/dps8/dps8_fnp2.c 
dev              1414 src/dps8/dps8_iom.c     word36 dev = 0;       // 6 bits: drive number
dev              1542 src/dps8/dps8_iom.c     M[3] = (cmd << 30) | (dev << 24) | 0700000;
dev               224 src/dps8/fnpuv.c static int tun_alloc (char * dev)
dev               243 src/dps8/fnpuv.c     if (* dev)
dev               244 src/dps8/fnpuv.c       strncpy (ifr.ifr_name, dev, IFNAMSIZ);
dev               251 src/dps8/fnpuv.c     strcpy (dev, ifr.ifr_name);