diff options
author | Marco Elver <[email protected]> | 2020-02-07 19:59:10 +0100 |
---|---|---|
committer | Ingo Molnar <[email protected]> | 2020-03-21 09:43:35 +0100 |
commit | 80d4c4775216602ccdc9e761ce251c8451d0c6ca (patch) | |
tree | d3dac351e3d2dfb461f26bb96c304e8895c5ebbf /scripts/gdb/linux/modules.py | |
parent | a312013578e4775003689e31c1f487df11f362a3 (diff) |
kcsan: Expose core configuration parameters as module params
This adds early_boot, udelay_{task,interrupt}, and skip_watch as module
params. The latter parameters are useful to modify at runtime to tune
KCSAN's performance on new systems. This will also permit auto-tuning
these parameters to maximize overall system performance and KCSAN's race
detection ability.
None of the parameters are used in the fast-path and referring to them
via static variables instead of CONFIG constants will not affect
performance.
Signed-off-by: Marco Elver <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Signed-off-by: Ingo Molnar <[email protected]>
Cc: Qian Cai <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions