124 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in core_pcpu_init()
141 	KASSERT(pc != NULL && cc != NULL,  in core_pcpu_init()
167 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in core_pcpu_fini()
179 	KASSERT(pc != NULL, ("[core,%d] NULL per-cpu %d state", __LINE__,  in core_pcpu_fini()
231 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iaf_allocate_pmc()
315 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iaf_config_pmc()
318 	KASSERT(ri >= 0 && ri < core_iaf_npmc,  in iaf_config_pmc()
323 	KASSERT(core_pcpu[cpu] != NULL, ("[core,%d] null per-cpu %d", __LINE__,  in iaf_config_pmc()
363 	KASSERT(ri >= 0 && ri < core_iaf_npmc,  in iaf_get_msr()
376 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iaf_read_pmc()
378 	KASSERT(ri >= 0 && ri < core_iaf_npmc,  in iaf_read_pmc()
399 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iaf_release_pmc()
401 	KASSERT(ri >= 0 && ri < core_iaf_npmc,  in iaf_release_pmc()
404 	KASSERT(core_pcpu[cpu]->pc_corepmcs[ri + core_iaf_ri].phw_pmc == NULL,  in iaf_release_pmc()
422 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iaf_start_pmc()
424 	KASSERT(ri >= 0 && ri < core_iaf_npmc,  in iaf_start_pmc()
448 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iaf_stop_pmc()
450 	KASSERT(ri >= 0 && ri < core_iaf_npmc,  in iaf_stop_pmc()
474 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iaf_write_pmc()
476 	KASSERT(ri >= 0 && ri < core_iaf_npmc,  in iaf_write_pmc()
506 	KASSERT(md != NULL, ("[iaf,%d] md is NULL", __LINE__));  in iaf_initialize()
719 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iap_allocate_pmc()
721 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_allocate_pmc()
781 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iap_config_pmc()
784 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_config_pmc()
789 	KASSERT(core_pcpu[cpu] != NULL, ("[core,%d] null per-cpu %d", __LINE__,  in iap_config_pmc()
829 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_get_msr()
842 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iap_read_pmc()
844 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_read_pmc()
867 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iap_release_pmc()
869 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_release_pmc()
872 	KASSERT(core_pcpu[cpu]->pc_corepmcs[ri].phw_pmc  in iap_release_pmc()
884 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iap_start_pmc()
886 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_start_pmc()
925 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iap_stop_pmc()
927 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_stop_pmc()
943 	KASSERT(cpu >= 0 && cpu < pmc_cpu_max(),  in iap_write_pmc()
945 	KASSERT(ri >= 0 && ri < core_iap_npmc,  in iap_write_pmc()
972 	KASSERT(md != NULL, ("[iap,%d] md is NULL", __LINE__));  in iap_initialize()
1090 	KASSERT(cc != NULL, ("[core,%d] null pcpu", __LINE__));  in core2_intr()