HelenOS sources

RBSTART           516 uspace/drv/nic/rtl8139/driver.c 	pio_write_32(rtl8139->io_port + RBSTART,
RBSTART           893 uspace/drv/nic/rtl8139/driver.c 	pio_write_32(io_base + RBSTART, PTR2U32(rtl8139->rx_buff_phys));
HelenOS homepage, sources at GitHub