Constant MSR_IA32_RTIT_ADDR3_A 

pub const MSR_IA32_RTIT_ADDR3_A: u32 = 0x586;