+
+ /*
+ * TODO: when we eventually add RCU subsystem instrumentation,
+ * taking the rcu read lock here will trigger RCU tracing
+ * recursively. We should modify the kernel synchronization so
+ * it synchronizes both for RCU and RCU sched, and rely on
+ * rcu_read_lock_sched_notrace.
+ */
+