Constant x86_64::msr_index::MSR_K8_INT_PENDING_MSG

pub const MSR_K8_INT_PENDING_MSG: c_uint = 0xc0010055;