__bitlock - Linux

29

__acquires(__bitlock(bitnum, addr))

48

__acquire(__bitlock(bitnum, addr));

55

__cond_acquires(true, __bitlock(bitnum, addr))

64

__acquire(__bitlock(bitnum, addr));

72

__releases(__bitlock(bitnum, addr))

81

__release(__bitlock(bitnum, addr));

90

__releases(__bitlock(bitnum, addr))

99

__release(__bitlock(bitnum, addr));

147

__acquires(__bitlock(0, b))

153

__releases(__bitlock(0, b))

329

__acquires(__bitlock(0, bkt))

342

__acquires(__bitlock(0, bucket))

355

__releases(__bitlock(0, bkt))

431

__releases(__bitlock(0, bkt))

438

__release(__bitlock(0, bkt));

336

int counter __guarded_by(__bitlock(3, &bits));