WANTLOCK
WANTLOCK(mtx, 0);
WANTLOCK(mtx, 0);
WANTLOCK(mtx, 0);
WANTLOCK(mtx, -1);
WANTLOCK(rw, op == RW_READER);
WANTLOCK(rw, op == RW_READER);
WANTLOCK(rw, 0);
WANTLOCK(rw, 1);