dev               638 src/dps8/dps8_cable.c         p->dev           = devp;
dev              1556 src/dps8/dps8_cable.c                     chan_type_strs[p->chan_type], (void *) p->dev,
dev               155 src/dps8/dps8_cable.h     DEVICE * dev; // ctlr device
dev              2296 src/dps8/dps8_fnp2.c 
dev              2299 src/dps8/dps8_fnp2.c 
dev              2300 src/dps8/dps8_fnp2.c 
dev              2302 src/dps8/dps8_fnp2.c 
dev              2305 src/dps8/dps8_fnp2.c 
dev              1408 src/dps8/dps8_iom.c     word36 dev = 0;            // 6 bits: drive number
dev              1536 src/dps8/dps8_iom.c     M[3] = (cmd << 30) | (dev << 24) | 0700000;
dev               225 src/dps8/fnpuv.c static int tun_alloc (char * dev)
dev               244 src/dps8/fnpuv.c     if (* dev)
dev               245 src/dps8/fnpuv.c       strncpy (ifr.ifr_name, dev, IFNAMSIZ);
dev               252 src/dps8/fnpuv.c     strcpy (dev, ifr.ifr_name);