INTERRUPT_SYSTEM_RESET
if (TRAP(&(fdh->regs)) == INTERRUPT_SYSTEM_RESET) {
if (TRAP(regs) == INTERRUPT_SYSTEM_RESET)
if (TRAP(regs) != INTERRUPT_SYSTEM_RESET) {
if (TRAP(regs) == INTERRUPT_SYSTEM_RESET)
if (TRAP(regs) != INTERRUPT_SYSTEM_RESET || !wait_for_other_cpus(ncpus))