rtl8139_dev_cleanup 1197 uspace/drv/nic/rtl8139/driver.c rtl8139_dev_cleanup(dev); rtl8139_dev_cleanup 1328 uspace/drv/nic/rtl8139/driver.c rtl8139_dev_cleanup(dev);