RxBUF_TOT_LENGTH 1125 uspace/drv/nic/rtl8139/driver.c RxBUF_TOT_LENGTH); RxBUF_TOT_LENGTH 1128 uspace/drv/nic/rtl8139/driver.c rc = dmamem_map_anonymous(RxBUF_TOT_LENGTH, DMAMEM_4GiB,