K 10 svn:author V 6 adrian K 8 svn:date V 27 2009-05-31T07:25:24.652128Z K 7 svn:log V 231 Remove some unused code in ipi_selected() . The code path this was copied from (sys/i386/i386/mp_machdep.c:ipi_selected()) handles bitmap'ed IPIs and normal IPIs via separate notification paths. Xen SMP handles them the same way. END