diff options
author | Andreea-Cristina Bernat <bernat.ada@gmail.com> | 2014-08-18 15:20:56 +0300 |
---|---|---|
committer | Joerg Roedel <jroedel@suse.de> | 2014-08-19 13:27:55 +0200 |
commit | eecbad7d0306b9ee4f621517052913d1adaea753 (patch) | |
tree | 262ed578906c82541193831dd1b9b4700a75a87b /usr/Makefile | |
parent | f63ef69028742b09c1c0896177d555a30ff6cf13 (diff) |
iommu: Replace rcu_assign_pointer() with RCU_INIT_POINTER()
The use of "rcu_assign_pointer()" is NULLing out the pointer.
According to RCU_INIT_POINTER()'s block comment:
"1. This use of RCU_INIT_POINTER() is NULLing out the pointer"
it is better to use it instead of rcu_assign_pointer() because it has a
smaller overhead.
The following Coccinelle semantic patch was used:
@@
@@
- rcu_assign_pointer
+ RCU_INIT_POINTER
(..., NULL)
Signed-off-by: Andreea-Cristina Bernat <bernat.ada@gmail.com>
Signed-off-by: Joerg Roedel <jroedel@suse.de>
Diffstat (limited to 'usr/Makefile')
0 files changed, 0 insertions, 0 deletions