diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-19 21:07:32 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-19 21:48:20 +0100 |
| commit | d9222fc03a1fe146fd945796b8f6309d4963e9dc (patch) | |
| tree | f21432fba2e5c073c15ae17051645722b1b7f63b /pkg/report/linux.go | |
| parent | 75a7c5e2d1f09a4a58e7e1f1f4ef0b0f55a33413 (diff) | |
pkg/report: improve ODEBUG bug reports
Diffstat (limited to 'pkg/report/linux.go')
| -rw-r--r-- | pkg/report/linux.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkg/report/linux.go b/pkg/report/linux.go index 9e5cb01ac..fbb5674e3 100644 --- a/pkg/report/linux.go +++ b/pkg/report/linux.go @@ -762,7 +762,7 @@ var linuxOopses = []*oops{ fmt: "WARNING: ODEBUG bug in %[1]v", // Skip all users of ODEBUG as well. stack: warningStackFmt("debug_", "rcu", "hrtimer_", "timer_", - "work_", "percpu_", "kmem_", "slab_", "kfree"), + "work_", "percpu_", "kmem_", "slab_", "kfree", "vunmap", "vfree"), }, { title: compile("WARNING: .*mm/usercopy\\.c.* usercopy_warn"), |