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()
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()
170 	    ("[tsc,%d] illegal cpu %d", __LINE__, cpu));  in tsc_pcpu_fini()
193 	    ("[tsc,%d] illegal cpu %d", __LINE__, cpu));  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()
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()
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()
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()