simple_lock_only_held  735 kern/kern_lock.c 	simple_lock_only_held(&sched_lock, "switching");
simple_lock_only_held  638 kern/subr_pool.c 		simple_lock_only_held(NULL, "pool_get(PR_WAITOK)");
simple_lock_only_held 1684 kern/subr_pool.c 		simple_lock_only_held(NULL, "pool_cache_get(PR_WAITOK)");