MSR_IA32_SGXLEPUBKEYHASH0
wrmsrq(MSR_IA32_SGXLEPUBKEYHASH0 + i, lepubkeyhash[i]);
rdmsrq_safe(MSR_IA32_SGXLEPUBKEYHASH0, &sgx_pubkey_hash[0])) {
case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3:
[msr_info->index - MSR_IA32_SGXLEPUBKEYHASH0];
case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3:
[msr_index - MSR_IA32_SGXLEPUBKEYHASH0] = data;