Constant MSR_K8_INT_PENDING_MSG 

pub const MSR_K8_INT_PENDING_MSG: u32 = 0xc0010055;