d8f3f5834feb ("rcu: Update rcu_access_pointer() header for rcu_dereference_protected()")