tests/rump/rumpkern/t_kern.c

110

LOCKFUN(DESTROYHELD, "destroy lock while held", 0,

tests/rump/rumpkern/t_kern.c

112

LOCKFUN(DOUBLEFREE, "free lock twice", 0,

tests/rump/rumpkern/t_kern.c

114

LOCKFUN(DOUBLEINIT, "init lock twice", 1,

tests/rump/rumpkern/t_kern.c

116

LOCKFUN(MEMFREE, "free memory active lock is in", 1,

tests/rump/rumpkern/t_kern.c

118

LOCKFUN(MTX, "locking-against-self mutex", 0,

tests/rump/rumpkern/t_kern.c

120

LOCKFUN(RWDOUBLEX, "locking-against-self exclusive rwlock", 0,

tests/rump/rumpkern/t_kern.c

122

LOCKFUN(RWRX, "rw: first shared, then exclusive", 1,

tests/rump/rumpkern/t_kern.c

124

LOCKFUN(RWXR, "rw: first execusive, then shared", 0,