diff options
Diffstat (limited to 'extras/mini-os/kernel.c')
| -rw-r--r-- | extras/mini-os/kernel.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index bdd866462b..f2bd01f8eb 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -562,7 +562,7 @@ void stop_kernel(void) fini_gnttab(); /* Reset the console driver. */ - fini_console(); + fini_console(NULL); /* TODO: record new ring mfn & event in start_info */ /* Reset XenBus */ |