do_raw_write_lock
# define do_raw_write_lock(rwlock) do {__acquire(lock); arch_write_lock(&(rwlock)->raw_lock); } while (0)
void do_raw_write_lock(rwlock_t *lock)