Searched refs:MSR_IA32_SGXLEPUBKEYHASH0 (Results 1 – 4 of 4) sorted by relevance
415 rdmsrq_safe(MSR_IA32_SGXLEPUBKEYHASH0, &sgx_pubkey_hash[0])) { in setup_default_sgx_lepubkeyhash()
2025 case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3: in vmx_get_msr()2030 [msr_info->index - MSR_IA32_SGXLEPUBKEYHASH0]; in vmx_get_msr()2329 case MSR_IA32_SGXLEPUBKEYHASH0 ... MSR_IA32_SGXLEPUBKEYHASH3: in vmx_set_msr()2347 [msr_index - MSR_IA32_SGXLEPUBKEYHASH0] = data; in vmx_set_msr()
877 wrmsrq(MSR_IA32_SGXLEPUBKEYHASH0 + i, lepubkeyhash[i]); in sgx_update_lepubkeyhash()
917 #define MSR_IA32_SGXLEPUBKEYHASH0 0x0000008C macro
Completed in 27 milliseconds