Constant MSR_IA32_SGXLEPUBKEYHASH0 

pub const MSR_IA32_SGXLEPUBKEYHASH0: u32 = 0x8c;