Symbol: MSR_INT_PEN_MSG
sys/arch/amd64/include/specialreg.h
704
#define MSR_INT_PEN_MSG 0xc0010055 /* Interrupt pending message */
sys/arch/i386/include/specialreg.h
529
#define MSR_INT_PEN_MSG 0xc0010055 /* Interrupt pending message */