diff --git a/src/network/net_pcnet.c b/src/network/net_pcnet.c index d2e20acd3..3499df54a 100644 --- a/src/network/net_pcnet.c +++ b/src/network/net_pcnet.c @@ -2835,6 +2835,9 @@ pcnet_close(void *priv) pcnetlog(1, "%s: closed\n", dev->name); + /* Make sure the platform layer is shut down. */ + network_close(); + if (dev) { timer_disable(&dev->poll_timer);