__rw_rlock
void __rw_rlock(volatile uintptr_t *c, const char *file, int line);
__rw_rlock(&(rw)->rw_lock, f, l)