X86: The startup IPI delivery mode is not reserved.
authorGabe Black <gblack@eecs.umich.edu>
Sun, 19 Apr 2009 10:01:46 +0000 (03:01 -0700)
committerGabe Black <gblack@eecs.umich.edu>
Sun, 19 Apr 2009 10:01:46 +0000 (03:01 -0700)
commit633c96bd85e856dea174fd325f8a297413eb6a9c
tree4bed6671f0ab08c951fd2aac2cd942d3138ff2a3
parent08f021aad0aa2ce7510060e1d29523dada226236
X86: The startup IPI delivery mode is not reserved.
src/arch/x86/interrupts.cc
src/arch/x86/interrupts.hh
src/arch/x86/intmessage.hh