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