wait_for_other_cpus
if (TRAP(regs) != INTERRUPT_SYSTEM_RESET || !wait_for_other_cpus(ncpus))
wait_for_other_cpus(ncpus);