rt_read_lock
extern void rt_read_lock(rwlock_t *rwlock) __acquires_shared(rwlock);
void __sched rt_read_lock(rwlock_t *rwlock) __acquires(RCU)