rtl8139_hw_buffer_empty 536 uspace/drv/nic/rtl8139/driver.c if (rtl8139_hw_buffer_empty(rtl8139)) rtl8139_hw_buffer_empty 563 uspace/drv/nic/rtl8139/driver.c while (!rtl8139_hw_buffer_empty(rtl8139)) {