X86: Only recognize the first startup IPI after INIT or reset.
authorGabe Black <gblack@eecs.umich.edu>
Sun, 19 Apr 2009 10:56:36 +0000 (03:56 -0700)
committerGabe Black <gblack@eecs.umich.edu>
Sun, 19 Apr 2009 10:56:36 +0000 (03:56 -0700)
commit18b38631274aa6197cb637f2e69d765dd24c8cf3
tree9ad3c52c7b3c4e6060255f2e5462a7c791f9de30
parent4d32cd10ce5543fcec1ffb21d5e66c510d29e24d
X86: Only recognize the first startup IPI after INIT or reset.
src/arch/x86/interrupts.cc
src/arch/x86/interrupts.hh