taglinefilesource code
wd_cmd_port279net/inet/wd.cint wd_cmd_port = dev->base_addr - WD_NIC_OFFSET; /* WD_CMDREG */
wd_cmd_port282net/inet/wd.coutb(WD_RESET, wd_cmd_port);
wd_cmd_port301net/inet/wd.cwd_cmd_port+WD_CMDREG5);
wd_cmd_port302net/inet/wd.coutb((((dev->mem_start>>13) & 0x3f)|WD_MEMENB), wd_cmd_port);
wd_cmd_port312net/inet/wd.cprintk("\nWD80x3 ethercard at %#3x:", wd_cmd_port);
wd_cmd_port314net/inet/wd.cprintk(" %2.2X", inb(wd_cmd_port+i));
wd_cmd_port316net/inet/wd.cprintk("\nWD80x3 ethercard at %#3x:", wd_cmd_port+i);
wd_cmd_port318net/inet/wd.cprintk(" %2.2X", inb(wd_cmd_port+i));