rcu_read_lock_trace
static inline void rcu_read_lock_trace(void) { BUG(); }
static inline void rcu_read_lock_trace(void)