Constant MSR_K8_INT_PENDING_MSG

pub const MSR_K8_INT_PENDING_MSG: c_uint = 0xc0010055;