Constant MSR_IA32_SGXLEPUBKEYHASH2 

pub const MSR_IA32_SGXLEPUBKEYHASH2: u32 = 0x8e;