588 	KASSERT(mutex_owned(&clockpro.lock));  in clockpro_reinit()
614 	KASSERT(mutex_owned(&s->lock));  in clockpro_tune()
647 	KASSERT(mutex_owned(&clockpro.lock));  in clockpro_movereferencebit()
689 	KASSERT(mutex_owned(&clockpro.lock));  in clockpro_clearreferencebit()
702 	KASSERT(mutex_owned(&s->lock));  in clockpro___newqrotate()
722 	KASSERT(mutex_owned(&s->lock));  in clockpro_newqrotate()
733 	KASSERT(mutex_owned(&clockpro.lock));  in clockpro_newqflush()
745 	KASSERT(mutex_owned(&s->lock));  in clockpro_newqflushone()
760 	KASSERT(mutex_owned(&s->lock));  in clockpro___enqueuetail()
784 	KASSERT(mutex_owned(&s->lock));  in clockpro_pageenqueue()
841 	KASSERT(mutex_owned(&s->lock));  in clockpro_pagequeue()
855 	KASSERT(mutex_owned(&s->lock));  in clockpro_pagedequeue()
878 	KASSERT(mutex_owned(&s->lock));  in clockpro_pagerequeue()
893 	KASSERT(mutex_owned(&clockpro.lock));  in handhot_endtest()
913 	KASSERT(mutex_owned(&s->lock));  in handhot_advance()
1020 	KASSERT(mutex_owned(&s->lock));  in handcold_advance()
1219 	KASSERT(mutex_owned(&clockpro.lock));  in uvmpdpol_pagerealize_locked()
1220 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pagerealize_locked()
1384 	KASSERT(mutex_owned(&clockpro.lock));  in clockpro_dropswap()