K 10 svn:author V 3 jhb K 8 svn:date V 27 2010-11-09T20:00:23.001527Z K 7 svn:log V 230 MFC 210939: Add a new ipi_cpu() function to the MI IPI API that can be used to send an IPI to a specific CPU by its cpuid. Replace calls to ipi_selected() that constructed a mask for a single CPU with calls to ipi_cpu() instead. END