Symbol: torture_readlock_not_held