--- zzzz-none-000/linux-3.10.107/arch/sparc/kernel/windows.c 2017-06-27 09:49:32.000000000 +0000 +++ scorpion-7490-727/linux-3.10.107/arch/sparc/kernel/windows.c 2021-02-04 17:41:59.000000000 +0000 @@ -10,8 +10,11 @@ #include #include +#include #include +#include "kernel.h" + /* Do save's until all user register windows are out of the cpu. */ void flush_user_windows(void) {