diff options
author | Gabe Black <gabeblack@google.com> | 2018-08-22 16:49:22 -0700 |
---|---|---|
committer | Gabe Black <gabeblack@google.com> | 2018-08-24 18:15:09 +0000 |
commit | a3385dadcb0ffb53da32d2690c0ea8157e2419bd (patch) | |
tree | 9af7ab099183937a851be9124961e4c26f5e7374 /system | |
parent | f741bb7cdbdd6c2526be40fe1e03a705364ddf8d (diff) | |
download | gem5-a3385dadcb0ffb53da32d2690c0ea8157e2419bd.tar.xz |
base: If valgrind is available, tell it about Fiber stacks.
Valgrind can get confused when switching stacks between different
Fibers. If valgrind (and its headers) are available, this change adds
calls to some hooks so valgrind knows where the new stacks are and
doesn't report a bunch of false positives.
Change-Id: I00aefe60372be6de7371dec29427d7182dbee7b6
Reviewed-on: https://gem5-review.googlesource.com/12227
Reviewed-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Reviewed-by: Daniel Carvalho <odanrc@yahoo.com.br>
Maintainer: Gabe Black <gabeblack@google.com>
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions