do_raw_read_lock
extern void do_raw_read_lock(rwlock_t *lock) __acquires_shared(lock);
LOCK_CONTENDED(lock, do_raw_read_trylock, do_raw_read_lock);
LOCK_CONTENDED(lock, do_raw_read_trylock, do_raw_read_lock);
LOCK_CONTENDED(lock, do_raw_read_trylock, do_raw_read_lock);
LOCK_CONTENDED(lock, do_raw_read_trylock, do_raw_read_lock);