do_raw_read_unlock
extern void do_raw_read_unlock(rwlock_t *lock) __releases_shared(lock);
do_raw_read_unlock(lock);
do_raw_read_unlock(lock);
do_raw_read_unlock(lock);
do_raw_read_unlock(lock);