Lines Matching refs:mutex_owned

448 	KASSERT(mutex_owned(&s->lock));  in uvmpdpol_pagedeactivate_locked()
449 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pagedeactivate_locked()
472 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pagedeactivate()
487 	KASSERT(mutex_owned(&s->lock));  in uvmpdpol_pageactivate_locked()
488 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pageactivate_locked()
504 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pageactivate()
514 	KASSERT(mutex_owned(&s->lock));  in uvmpdpol_pagedequeue_locked()
515 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pagedequeue_locked()
535 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pagedequeue()
545 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pageenqueue()
698 	KASSERT(mutex_owned(&s->lock));  in uvmpdpol_pagerealize_locked()
699 	KASSERT(mutex_owned(&pg->interlock));  in uvmpdpol_pagerealize_locked()