Some gcc versions get pretty unhappy without. Signed-off-by: Jan Beulich <jbeul...@suse.com>
--- a/console/console.c +++ b/console/console.c @@ -174,4 +174,4 @@ void resume_console(void) { xencons_ring_resume(xen_console); console_initialised = 1; -} \ No newline at end of file +}