Symbol: MSR_IA32_SGXLEPUBKEYHASH3
arch/x86/kvm/vmx/sgx.c
424
rdmsrq(MSR_IA32_SGXLEPUBKEYHASH3, sgx_pubkey_hash[3]);
arch/x86/kvm/vmx/vmx.c
2188
case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3:
arch/x86/kvm/vmx/vmx.c
2501
case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3: