rtl8139_hw_buffer_empty 539 uspace/drv/nic/rtl8139/driver.c if (rtl8139_hw_buffer_empty(rtl8139)) rtl8139_hw_buffer_empty 566 uspace/drv/nic/rtl8139/driver.c while (!rtl8139_hw_buffer_empty(rtl8139)) {