Constant MSR_IA32_MISC_ENABLE_XD_DISABLE 

pub const MSR_IA32_MISC_ENABLE_XD_DISABLE: u64 = 0x400000000;