rtl8139_dev_cleanup 1199 uspace/drv/nic/rtl8139/driver.c rtl8139_dev_cleanup(dev); rtl8139_dev_cleanup 1330 uspace/drv/nic/rtl8139/driver.c rtl8139_dev_cleanup(dev);