diff --git a/arch/sw_64/kernel/dup_print.c b/arch/sw_64/kernel/dup_print.c index 02639f40a4bc6d5901344c41249f34c8bc8305be..3a32c444207d89f2c4e472786d29704798217dc6 100644 --- a/arch/sw_64/kernel/dup_print.c +++ b/arch/sw_64/kernel/dup_print.c @@ -52,6 +52,8 @@ int sw64_printk(const char *fmt, va_list args) #endif #ifdef CONFIG_SW64_RRU +#include + static DEFINE_SPINLOCK(printf_lock); #define USER_PRINT_BUFF_BASE (0x600000UL + __START_KERNEL_map) #define USER_PRINT_BUFF_LEN 0x100000UL