284 	ASSERT(!list_link_active(&cap->cap_link));  in cap_free()
285 	ASSERT(cap->cap_value == 0);  in cap_free()
286 	ASSERT(!DISP_LOCK_HELD(&cap->cap_usagelock));  in cap_free()
302 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_enable()
307 	ASSERT(!CAP_ENABLED(cap));  in cap_enable()
308 	ASSERT(!list_link_active(&cap->cap_link));  in cap_enable()
334 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_disable()
338 	ASSERT(CPUCAPS_ON());  in cap_disable()
339 	ASSERT(list_link_active(&cap->cap_link));  in cap_disable()
340 	ASSERT(CAP_ENABLED(cap));  in cap_disable()
368 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_project_enable()
369 	ASSERT(cap != NULL);  in cap_project_enable()
372 		ASSERT(cap->cap_kstat == NULL);  in cap_project_enable()
405 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_project_disable()
406 	ASSERT(cap != NULL);  in cap_project_disable()
407 	ASSERT(cap->cap_project == kpj);  in cap_project_disable()
423 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_zone_enable()
424 	ASSERT(cap != NULL);  in cap_zone_enable()
427 		ASSERT(cap->cap_kstat == NULL);  in cap_zone_enable()
459 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_zone_disable()
460 	ASSERT(cap != NULL);  in cap_zone_disable()
461 	ASSERT(cap->cap_zone == zone);  in cap_zone_disable()
476 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_walk()
495 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_poke_waitq()
521 	ASSERT(MUTEX_HELD(&caps_lock));  in cap_project_usage_walker()
522 	ASSERT(cap->cap_project->kpj_cpucap == cap);  in cap_project_usage_walker()
523 	ASSERT(zone == cap->cap_project->kpj_zone);  in cap_project_usage_walker()
524 	ASSERT(CAP_ENABLED(cap));  in cap_project_usage_walker()
538 		ASSERT(zcap->cap_zone == zone);  in cap_project_usage_walker()
603 	ASSERT(zone_cap != NULL);  in cap_project_zone_modify_walker()
639 		ASSERT(project_cap->cap_value == 0);  in cap_project_zone_modify_walker()
663 	ASSERT(cap_val <= MAXCAP);  in cpucaps_zone_set()
752 	ASSERT(MUTEX_HELD(&caps_lock));  in cpucaps_zone_set()
753 	ASSERT(!cpucaps_busy);  in cpucaps_zone_set()
845 	ASSERT(cap_val <= MAXCAP);  in cpucaps_project_set()
969 	ASSERT(THREAD_LOCK_HELD(t));  in caps_charge_adjust()
970 	ASSERT(kpj->kpj_cpucap != NULL);  in caps_charge_adjust()
1031 	ASSERT(THREAD_LOCK_HELD(t));  in cpucaps_charge()
1093 	ASSERT(THREAD_LOCK_HELD(t));  in cpucaps_enforce()
1097 			ASSERT(ttoproj(t)->kpj_cpucap != NULL);  in cpucaps_enforce()
1105 			ASSERT(ttozone(t)->zone_cpucap != NULL);  in cpucaps_enforce()