The text fd6a0fbdc8ed, as Debian 7 (Wheezy) shipped it.
might we be in RCU-bh read-side critical section?
rcu_read_lock_bh_held(9) on Linux now
