d3b1cc167d
make IPI's work. modify boot_secondary_processors() to clear the startup flag
in each cpu. new raise_ipi_wait_and_unlock() that calls raise_ipi(), waits
for the cpu to acknowledge it got the message, and then unlocks the msglock.
use the new framework in mp_{pause,resume}_cpus(). nmi_soft() takes a
`struct trapframe *', to be used by ddb.
|
||
|---|---|---|
| .. | ||
| compile | ||
| conf | ||
| dev | ||
| fpu | ||
| include | ||
| sparc | ||
| stand | ||
| Makefile | ||