From c6be460228426faa4654f6bda0c8eebb7e359c7d Mon Sep 17 00:00:00 2001
From: Jiajie Chen <noc@jiegec.ac.cn>
Date: Wed, 20 Mar 2019 14:35:37 +0800
Subject: [PATCH] Fix PCI driver detaching

---
 kernel/src/drivers/bus/pci.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/kernel/src/drivers/bus/pci.rs b/kernel/src/drivers/bus/pci.rs
index ac11519..cb3351b 100644
--- a/kernel/src/drivers/bus/pci.rs
+++ b/kernel/src/drivers/bus/pci.rs
@@ -305,8 +305,12 @@ pub fn init_driver(name: String, vid: u32, did: u32, tag: PciTag) {
 pub fn detach_driver(tag: &PciTag) -> bool {
     match PCI_DRIVERS.lock().remove(tag) {
         Some(driver) => {
-            DRIVERS.write().retain(|dri| dri.get_id() != driver.get_id());
-            NET_DRIVERS.write().retain(|dri| dri.get_id() != driver.get_id());
+            DRIVERS
+                .write()
+                .retain(|dri| dri.get_id() != driver.get_id());
+            NET_DRIVERS
+                .write()
+                .retain(|dri| dri.get_id() != driver.get_id());
             true
         }
         None => false,