take read_seqbegin_or_lock() and friends to seqlock.h