K 10 svn:author V 6 marius K 8 svn:date V 27 2011-05-11T21:15:12.308711Z K 7 svn:log V 258 The ita_mask should include curcpu but the cpuset passed to cpu_ipi_selected() must not, otherwise we tell the CPU to IPI itself, which the sun4u CPUs don't support. For reasons unknown so far MD and MI IPI use actually still triggers that assertion though. END