diff options
| author | Paul E. McKenney <[email protected]> | 2005-09-06 15:16:35 -0700 |
|---|---|---|
| committer | Linus Torvalds <[email protected]> | 2005-09-07 16:57:19 -0700 |
| commit | 19306059cd7fedaf96b4b0260a9a8a45e513c857 (patch) | |
| tree | 7c32d59c1a5830689d5f85a7f81e89e48d1097ae /scripts/basic/Makefile | |
| parent | fe21773d655c2c64641ec2cef499289ea175c817 (diff) | |
[PATCH] NMI: Update NMI users of RCU to use new API
Uses of RCU for dynamically changeable NMI handlers need to use the new
rcu_dereference() and rcu_assign_pointer() facilities. This change makes
it clear that these uses are safe from a memory-barrier viewpoint, but the
main purpose is to document exactly what operations are being protected by
RCU. This has been tested on x86 and x86-64, which are the only
architectures affected by this change.
Signed-off-by: <[email protected]>
Signed-off-by: Andrew Morton <[email protected]>
Signed-off-by: Linus Torvalds <[email protected]>
Diffstat (limited to 'scripts/basic/Makefile')
0 files changed, 0 insertions, 0 deletions