inline void up_read(struct rw_semaphore *sem);