diff --git a/kernel/rcutiny.c b/kernel/rcutiny.c index b5e525d67fe305970bdbbc733f8cbc736db78601..636af6d9c6e565ca6e6d7010941501901c8322b4 100644 --- a/kernel/rcutiny.c +++ b/kernel/rcutiny.c @@ -22,7 +22,6 @@ * For detailed explanation of Read-Copy Update mechanism see - * Documentation/RCU */ -#include #include #include #include diff --git a/kernel/rcutiny_plugin.h b/kernel/rcutiny_plugin.h index 02aa7139861ca2671328b253be2009ee5b4c41be..2b0484a5dc285bcb68773843a934cd0cc05212c8 100644 --- a/kernel/rcutiny_plugin.h +++ b/kernel/rcutiny_plugin.h @@ -23,6 +23,7 @@ */ #include +#include #include #include