Constant MSR_IA32_SGXLEPUBKEYHASH3 

pub const MSR_IA32_SGXLEPUBKEYHASH3: u32 = 0x8f;