diff --git a/drivers/console/ipm_console_receiver.c b/drivers/console/ipm_console_receiver.c index 2b9b9c62178..9ea3702f96b 100644 --- a/drivers/console/ipm_console_receiver.c +++ b/drivers/console/ipm_console_receiver.c @@ -13,7 +13,7 @@ #include #include #include -#include +#include #include static void ipm_console_thread(void *arg1, void *arg2, void *arg3) diff --git a/drivers/console/ipm_console_sender.c b/drivers/console/ipm_console_sender.c index 49a196e7380..1bb2b2b33a8 100644 --- a/drivers/console/ipm_console_sender.c +++ b/drivers/console/ipm_console_sender.c @@ -11,7 +11,7 @@ #include #include #include -#include +#include static struct device *ipm_console_device;