TNPDS 721 uspace/drv/nic/rtl8169/driver.c pio_write_32(rtl8169->regs + TNPDS, tmp & 0xffffffff); TNPDS 722 uspace/drv/nic/rtl8169/driver.c pio_write_32(rtl8169->regs + TNPDS + 4, (tmp >> 32) & 0xffffffff);