116 	KASSERT(pmc < armv7_npmcs, ("%s: illegal PMC number %d", __func__, pmc));  in armv7_pmcn_read()
126 	KASSERT(pmc < armv7_npmcs, ("%s: illegal PMC number %d", __func__, pmc));  in armv7_pmcn_write()
141 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_allocate_pmc()
143 	KASSERT(ri >= 0 && ri < armv7_npmcs,  in armv7_allocate_pmc()
166 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_read_pmc()
168 	KASSERT(ri >= 0 && ri < armv7_npmcs,  in armv7_read_pmc()
212 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_write_pmc()
214 	KASSERT(ri >= 0 && ri < armv7_npmcs,  in armv7_write_pmc()
238 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_config_pmc()
240 	KASSERT(ri >= 0 && ri < armv7_npmcs,  in armv7_config_pmc()
245 	KASSERT(pm == NULL || phw->phw_pmc == NULL,  in armv7_config_pmc()
302 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_release_pmc()
304 	KASSERT(ri >= 0 && ri < armv7_npmcs,  in armv7_release_pmc()
308 	KASSERT(phw->phw_pmc == NULL,  in armv7_release_pmc()
323 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_intr()
372 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_describe()
374 	KASSERT(ri >= 0 && ri < armv7_npmcs,  in armv7_describe()
412 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in armv7_pcpu_init()
423 	KASSERT(pc != NULL, ("[armv7,%d] NULL per-cpu pointer", __LINE__));  in armv7_pcpu_init()
538 		KASSERT(armv7_pcpu[i] == NULL,  in pmc_armv7_finalize()