rtl8139_dev_cleanup 1200 uspace/drv/nic/rtl8139/driver.c rtl8139_dev_cleanup(dev); rtl8139_dev_cleanup 1336 uspace/drv/nic/rtl8139/driver.c rtl8139_dev_cleanup(dev);