Rip off IPI part from intrng.

[skra]

Summary

Once when ARM intrng is used for mips too, there was a call to rip off IPI part from it. So this is done here.

The intrcnt[] and intrnames[] related part is left for IPI in intrng, thus isrc_setup_ipi_counters() and isrc_increment_ipi_count() are global now. However, when it comes, it's optional to use it. The place in counters is reserved only when INTR_IPI_COUNT is defined.

Note that I expect that more changes will follow in intrng.

Test Plan

Tested on ARM only.

[imp]

This looks like just code motion, though if there's other subtle changes they are lost on me.

The commit message is a bit confusing. Rather than using "rip off" stuff, maybe something like

"move parts of intng that were really arm specific back into arm files in anticipation of intng being used on mips"

sys/kern/subr_intr.c

124 ↗

(On Diff #13768)

Strictly speaking, this is a nop change... Logically, I think the old code makes more sense.