74 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_allocate_pmc()
76 	KASSERT(ri >= 0 && ri < TSC_NPMCS,  in tsc_allocate_pmc()
96 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_config_pmc()
98 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_config_pmc()
102 	KASSERT(pm == NULL || phw->phw_pmc == NULL,  in tsc_config_pmc()
117 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_describe()
119 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_describe()
142 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_get_config()
144 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_get_config()
155 	KASSERT(ri >= 0 && ri < TSC_NPMCS,  in tsc_get_msr()
169 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_pcpu_fini()
171 	KASSERT(tsc_pcpu[cpu] != NULL, ("[tsc,%d] null pcpu", __LINE__));  in tsc_pcpu_fini()
192 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_pcpu_init()
194 	KASSERT(tsc_pcpu, ("[tsc,%d] null pcpu", __LINE__));  in tsc_pcpu_init()
195 	KASSERT(tsc_pcpu[cpu] == NULL, ("[tsc,%d] non-null per-cpu",  in tsc_pcpu_init()
208 	KASSERT(pmc_pcpu, ("[tsc,%d] null generic pcpu", __LINE__));  in tsc_pcpu_init()
212 	KASSERT(pc, ("[tsc,%d] null generic per-cpu", __LINE__));  in tsc_pcpu_init()
224 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_read_pmc()
226 	KASSERT(ri == 0, ("[tsc,%d] illegal ri %d", __LINE__, ri));  in tsc_read_pmc()
230 	KASSERT(mode == PMC_MODE_SC,  in tsc_read_pmc()
245 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_release_pmc()
247 	KASSERT(ri == 0,  in tsc_release_pmc()
252 	KASSERT(phw->phw_pmc == NULL,  in tsc_release_pmc()
265 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_start_pmc()
267 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_start_pmc()
276 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_stop_pmc()
278 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_stop_pmc()
288 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in tsc_write_pmc()
290 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_write_pmc()
305 	KASSERT(md != NULL, ("[tsc,%d] md is NULL", __LINE__));  in pmc_tsc_initialize()
306 	KASSERT(md->pmd_nclass >= 1, ("[tsc,%d] dubious md->nclass %d",  in pmc_tsc_initialize()
344 		KASSERT(tsc_pcpu[i] == NULL, ("[tsc,%d] non-null pcpu cpu %d",  in pmc_tsc_finalize()