Searched refs:MSR_IA32_SGXLEPUBKEYHASH0 (Results 1 – 5 of 5) sorted by relevance
401 rdmsrl_safe(MSR_IA32_SGXLEPUBKEYHASH0, &sgx_pubkey_hash[0])) { in setup_default_sgx_lepubkeyhash()
1905 case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3: in vmx_get_msr()1910 [msr_info->index - MSR_IA32_SGXLEPUBKEYHASH0]; in vmx_get_msr()2222 case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3: in vmx_set_msr()2240 [msr_index - MSR_IA32_SGXLEPUBKEYHASH0] = data; in vmx_set_msr()
736 #define MSR_IA32_SGXLEPUBKEYHASH0 0x0000008C macro
907 wrmsrl(MSR_IA32_SGXLEPUBKEYHASH0 + i, lepubkeyhash[i]); in sgx_update_lepubkeyhash()