HelenOS sources

RxBUF_SIZE        494 uspace/drv/nic/rtl8139/driver.c 	    RxBUF_SIZE, frame_size);
RxBUF_SIZE        556 uspace/drv/nic/rtl8139/driver.c 	bytes_received %= RxBUF_SIZE;
RxBUF_SIZE        557 uspace/drv/nic/rtl8139/driver.c 	rx_offset %= RxBUF_SIZE;
RxBUF_SIZE        561 uspace/drv/nic/rtl8139/driver.c 		max_read = bytes_received + (RxBUF_SIZE - rx_offset);
RxBUF_SIZE        567 uspace/drv/nic/rtl8139/driver.c 		void *rx_ptr = rx_buffer + rx_offset % RxBUF_SIZE;
RxBUF_SIZE        598 uspace/drv/nic/rtl8139/driver.c 			    RxBUF_SIZE, rx_offset + RTL_FRAME_HEADER_SIZE, frame_size);