rw_do_exit_read
rw_do_exit_read(rwl, RWLOCK_READ_INCR);
rw_do_exit_read(rwl, owner);
static void rw_do_exit_read(struct rwlock *, unsigned long);