diff options
Diffstat (limited to 'extras/mini-os/fbfront.c')
-rw-r--r-- | extras/mini-os/fbfront.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extras/mini-os/fbfront.c b/extras/mini-os/fbfront.c index 60c7552d00..55864f360e 100644 --- a/extras/mini-os/fbfront.c +++ b/extras/mini-os/fbfront.c @@ -225,6 +225,8 @@ void shutdown_kbdfront(struct kbdfront_dev *dev) xenbus_unwatch_path(XBT_NIL, path); + err = xenbus_printf(XBT_NIL, nodename, "state", "%u", 1); + free_kbdfront(dev); } @@ -549,6 +551,8 @@ void shutdown_fbfront(struct fbfront_dev *dev) xenbus_unwatch_path(XBT_NIL, path); + err = xenbus_printf(XBT_NIL, nodename, "state", "%u", 1); + unbind_evtchn(dev->evtchn); free_fbfront(dev); |