HelenOS sources

RTL_FRAME_HEADER_SIZE  589 uspace/drv/nic/rtl8139/driver.c 		cur_read += size + RTL_FRAME_HEADER_SIZE;
RTL_FRAME_HEADER_SIZE  595 uspace/drv/nic/rtl8139/driver.c 			    RxBUF_SIZE, rx_offset + RTL_FRAME_HEADER_SIZE, frame_size);
RTL_FRAME_HEADER_SIZE  602 uspace/drv/nic/rtl8139/driver.c 		rx_offset = ALIGN_UP(rx_offset + size + RTL_FRAME_HEADER_SIZE, 4);
HelenOS homepage, sources at GitHub