rtl8139_soft_reset 885 uspace/drv/nic/rtl8139/driver.c rtl8139_soft_reset(rtl8139); rtl8139_soft_reset 955 uspace/drv/nic/rtl8139/driver.c rtl8139_soft_reset(rtl8139);