Constant MSR_IA32_SGXLEPUBKEYHASH1 

pub const MSR_IA32_SGXLEPUBKEYHASH1: u32 = 0x8d;