diff --git a/drivers/tty/vt/keyboard.c b/drivers/tty/vt/keyboard.c index 3761ccf0f340..a605549ee28f 100644 --- a/drivers/tty/vt/keyboard.c +++ b/drivers/tty/vt/keyboard.c @@ -33,7 +33,6 @@ #include #include #include -#include #include #include @@ -43,6 +42,8 @@ #include #include +#include + extern void ctrl_alt_del(void); /*