diff options
author | Andrea Bastoni <bastoni@cs.unc.edu> | 2011-08-24 11:32:21 -0400 |
---|---|---|
committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2011-08-27 10:29:47 -0400 |
commit | fb8d6602af1cbc09115544056b872b976c6349c3 (patch) | |
tree | 8c25e307650001a09a1616fb843b96e2b0d688b7 /lib/Kconfig.kmemcheck | |
parent | ea62a6fe914f7463f89422dcb1812eb071cbd495 (diff) |
Prevent Linux to send IPI and queue tasks on remote CPUs.wip-merge-v3.0
Whether to send IPIs and enqueue tasks on remote runqueues is
plugin-specific. The recent ttwu_queue() mechanism (by calling
ttwu_queue_remote()) interferes with Litmus plugin decisions.
Diffstat (limited to 'lib/Kconfig.kmemcheck')
0 files changed, 0 insertions, 0 deletions