[coreboot] SMP stop_this_cpu and AP_IN_SIPI_WAIT
rminnich at gmail.com
Mon Mar 12 17:13:22 CET 2012
we would need to track down the first appearance of the IPI code and
try to figure out why it's there. I just don't recall.
More information about the coreboot