37  * TSC support.
51 		.pd_name  = "TSC",
75 	    ("[tsc,%d] illegal CPU value %d", __LINE__, cpu));  in tsc_allocate_pmc()
77 	    ("[tsc,%d] illegal row index %d", __LINE__, ri));  in tsc_allocate_pmc()
97 	    ("[tsc,%d] illegal CPU value %d", __LINE__, cpu));  in tsc_config_pmc()
98 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_config_pmc()
103 	    ("[tsc,%d] pm=%p phw->pm=%p hwpmc not unconfigured", __LINE__,  in tsc_config_pmc()
118 	    ("[tsc,%d] illegal CPU %d", __LINE__, cpu));  in tsc_describe()
119 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_describe()
143 	    ("[tsc,%d] illegal CPU %d", __LINE__, cpu));  in tsc_get_config()
144 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_get_config()
156 	    ("[tsc,%d] ri %d out of range", __LINE__, ri));  in tsc_get_msr()
170 	    ("[tsc,%d] illegal cpu %d", __LINE__, cpu));  in tsc_pcpu_fini()
171 	KASSERT(tsc_pcpu[cpu] != NULL, ("[tsc,%d] null pcpu", __LINE__));  in tsc_pcpu_fini()
193 	    ("[tsc,%d] illegal cpu %d", __LINE__, cpu));  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()
225 	    ("[tsc,%d] illegal CPU value %d", __LINE__, cpu));  in tsc_read_pmc()
226 	KASSERT(ri == 0, ("[tsc,%d] illegal ri %d", __LINE__, ri));  in tsc_read_pmc()
231 	    ("[tsc,%d] illegal pmc mode %d", __LINE__, mode));  in tsc_read_pmc()
233 	PMCDBG1(MDP,REA,1,"tsc-read id=%d", ri);  in tsc_read_pmc()
246 	    ("[tsc,%d] illegal CPU value %d", __LINE__, cpu));  in tsc_release_pmc()
248 	    ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_release_pmc()
253 	    ("[tsc,%d] PHW pmc %p non-NULL", __LINE__, phw->phw_pmc));  in tsc_release_pmc()
266 	    ("[tsc,%d] illegal CPU value %d", __LINE__, cpu));  in tsc_start_pmc()
267 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_start_pmc()
277 	    ("[tsc,%d] illegal CPU value %d", __LINE__, cpu));  in tsc_stop_pmc()
278 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_stop_pmc()
280 	return (0);	/* Cannot actually stop a TSC. */  in tsc_stop_pmc()
289 	    ("[tsc,%d] illegal CPU value %d", __LINE__, cpu));  in tsc_write_pmc()
290 	KASSERT(ri == 0, ("[tsc,%d] illegal row-index %d", __LINE__, ri));  in tsc_write_pmc()
295 	 * support writing changing TSC values through the HWPMC API.  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()
341 	PMCDBG0(MDP, INI, 1, "tsc-finalize");  in pmc_tsc_finalize()
344 		KASSERT(tsc_pcpu[i] == NULL, ("[tsc,%d] non-null pcpu cpu %d",  in pmc_tsc_finalize()