Constant MSR_IA32_EVT_CFG_BASE 

pub const MSR_IA32_EVT_CFG_BASE: u32 = 0xc0000400;