Symbol: lockdep_rht_mutex_is_held