adrian ff7c20c8cb 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.
2009-05-31 07:25:24 +00:00
..
2009-05-30 18:23:55 +00:00
2009-05-30 19:28:38 +00:00
2009-05-12 16:38:32 +00:00
2009-05-30 18:39:22 +00:00
2009-05-23 13:23:46 +00:00
2009-05-28 08:18:12 +00:00
2009-05-30 08:53:13 +00:00