Searched refs:MSR_IA32_SGXLEPUBKEYHASH3 (Results 1 – 4 of 4) sorted by relevance
412 rdmsrl(MSR_IA32_SGXLEPUBKEYHASH3, sgx_pubkey_hash[3]); in setup_default_sgx_lepubkeyhash()
1929 case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3: in vmx_get_msr()2255 case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3: in vmx_set_msr()
756 #define MSR_IA32_SGXLEPUBKEYHASH3 0x0000008F macro
776 #define MSR_IA32_SGXLEPUBKEYHASH3 0x0000008F macro