Skip to content

Commit f7d27c3

Browse files
aryabininIngo Molnar
authored and
Ingo Molnar
committed
x86/mm, kasan: Silence KASAN warnings in get_wchan()
get_wchan() is racy by design, it may access volatile stack of running task, thus it may access redzone in a stack frame and cause KASAN to warn about this. Use READ_ONCE_NOCHECK() to silence these warnings. Reported-by: Sasha Levin <[email protected]> Signed-off-by: Andrey Ryabinin <[email protected]> Cc: Alexander Potapenko <[email protected]> Cc: Andrew Morton <[email protected]> Cc: Andrey Konovalov <[email protected]> Cc: Andy Lutomirski <[email protected]> Cc: Borislav Petkov <[email protected]> Cc: Denys Vlasenko <[email protected]> Cc: Dmitry Vyukov <[email protected]> Cc: Kostya Serebryany <[email protected]> Cc: Linus Torvalds <[email protected]> Cc: Paul E. McKenney <[email protected]> Cc: Peter Zijlstra <[email protected]> Cc: Thomas Gleixner <[email protected]> Cc: Wolfram Gloger <[email protected]> Cc: kasan-dev <[email protected]> Link: http://lkml.kernel.org/r/[email protected] Signed-off-by: Ingo Molnar <[email protected]>
1 parent d976441 commit f7d27c3

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

arch/x86/kernel/process.c

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -550,14 +550,14 @@ unsigned long get_wchan(struct task_struct *p)
550550
if (sp < bottom || sp > top)
551551
return 0;
552552

553-
fp = READ_ONCE(*(unsigned long *)sp);
553+
fp = READ_ONCE_NOCHECK(*(unsigned long *)sp);
554554
do {
555555
if (fp < bottom || fp > top)
556556
return 0;
557-
ip = READ_ONCE(*(unsigned long *)(fp + sizeof(unsigned long)));
557+
ip = READ_ONCE_NOCHECK(*(unsigned long *)(fp + sizeof(unsigned long)));
558558
if (!in_sched_functions(ip))
559559
return ip;
560-
fp = READ_ONCE(*(unsigned long *)fp);
560+
fp = READ_ONCE_NOCHECK(*(unsigned long *)fp);
561561
} while (count++ < 16 && p->state != TASK_RUNNING);
562562
return 0;
563563
}

0 commit comments

Comments
 (0)