HelenOS sources

TNPDS             720 uspace/drv/nic/rtl8169/driver.c 	pio_write_32(rtl8169->regs + TNPDS, tmp & 0xffffffff);
TNPDS             721 uspace/drv/nic/rtl8169/driver.c 	pio_write_32(rtl8169->regs + TNPDS + 4, (tmp >> 32) & 0xffffffff);
HelenOS homepage, sources at GitHub