Searched refs:sgx_pubkey_hash (Results 1 – 1 of 1) sorted by relevance
17 static u64 sgx_pubkey_hash[4] __ro_after_init; variable401 rdmsrl_safe(MSR_IA32_SGXLEPUBKEYHASH0, &sgx_pubkey_hash[0])) { in setup_default_sgx_lepubkeyhash()402 sgx_pubkey_hash[0] = 0xa6053e051270b7acULL; in setup_default_sgx_lepubkeyhash()403 sgx_pubkey_hash[1] = 0x6cfbe8ba8b3b413dULL; in setup_default_sgx_lepubkeyhash()404 sgx_pubkey_hash[2] = 0xc4916d99f2b3735dULL; in setup_default_sgx_lepubkeyhash()405 sgx_pubkey_hash[3] = 0xd4f8c05909f9bb3bULL; in setup_default_sgx_lepubkeyhash()408 rdmsrl(MSR_IA32_SGXLEPUBKEYHASH1, sgx_pubkey_hash[1]); in setup_default_sgx_lepubkeyhash()409 rdmsrl(MSR_IA32_SGXLEPUBKEYHASH2, sgx_pubkey_hash[2]); in setup_default_sgx_lepubkeyhash()410 rdmsrl(MSR_IA32_SGXLEPUBKEYHASH3, sgx_pubkey_hash[3]); in setup_default_sgx_lepubkeyhash()418 memcpy(vmx->msr_ia32_sgxlepubkeyhash, sgx_pubkey_hash, in vcpu_setup_sgx_lepubkeyhash()[all …]