404 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_read_pmc()
406 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_read_pmc()
408 	KASSERT(amd_pcpu[cpu],  in amd_read_pmc()
417 	KASSERT(pd->pm_descr.pd_class == amd_pmc_class,  in amd_read_pmc()
455 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_write_pmc()
457 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_write_pmc()
464 	KASSERT(pd->pm_descr.pd_class == amd_pmc_class,  in amd_write_pmc()
492 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_config_pmc()
494 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_config_pmc()
499 	KASSERT(pm == NULL || phw->phw_pmc == NULL,  in amd_config_pmc()
574 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_allocate_pmc()
576 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_allocate_pmc()
670 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_release_pmc()
672 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_release_pmc()
677 	KASSERT(phw->phw_pmc == NULL,  in amd_release_pmc()
683 		KASSERT(AMD_PMC_IS_STOPPED(pd->pm_evsel),  in amd_release_pmc()
700 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_start_pmc()
702 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_start_pmc()
709 	KASSERT(AMD_PMC_IS_STOPPED(pd->pm_evsel),  in amd_start_pmc()
733 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_stop_pmc()
735 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_stop_pmc()
740 	KASSERT(!AMD_PMC_IS_STOPPED(pd->pm_evsel),  in amd_stop_pmc()
785 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_intr()
831 		KASSERT((config & ~AMD_PMC_ENABLE) ==  in amd_intr()
883 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_describe()
885 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_describe()
916 	KASSERT(ri >= 0 && ri < AMD_NPMCS,  in amd_get_msr()
936 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_pcpu_init()
957 	KASSERT(pc != NULL, ("[amd,%d] NULL per-cpu pointer", __LINE__));  in amd_pcpu_init()
983 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in amd_pcpu_fini()
1007 		KASSERT(pac->pc_amdpmcs[i].phw_pmc == NULL,  in amd_pcpu_fini()
1009 		KASSERT(AMD_PMC_IS_STOPPED(AMD_PMC_EVSEL_0 + i),  in amd_pcpu_fini()
1015 	KASSERT(pc != NULL, ("[amd,%d] NULL per-cpu state", __LINE__));  in amd_pcpu_fini()
1182 	KASSERT(amd_pcpu != NULL, ("[amd,%d] NULL per-cpu array pointer",  in pmc_amd_finalize()
1198 	KASSERT(md->pmd_classdep[classindex].pcd_class == pmcclass,  in pmc_amd_finalize()
1204 		KASSERT(amd_pcpu[i] == NULL, ("[amd,%d] non-null pcpu",  in pmc_amd_finalize()