inline void down_write(struct rw_semaphore *sem);