Searched refs:sgx_pubkey_hash (Results 1 – 1 of 1) sorted by relevance
18 static u64 sgx_pubkey_hash[4] __ro_after_init; variable414 rdmsrl_safe(MSR_IA32_SGXLEPUBKEYHASH0, &sgx_pubkey_hash[0])) { in setup_default_sgx_lepubkeyhash()415 sgx_pubkey_hash[0] = 0xa6053e051270b7acULL; in setup_default_sgx_lepubkeyhash()416 sgx_pubkey_hash[1] = 0x6cfbe8ba8b3b413dULL; in setup_default_sgx_lepubkeyhash()417 sgx_pubkey_hash[2] = 0xc4916d99f2b3735dULL; in setup_default_sgx_lepubkeyhash()418 sgx_pubkey_hash[3] = 0xd4f8c05909f9bb3bULL; in setup_default_sgx_lepubkeyhash()421 rdmsrl(MSR_IA32_SGXLEPUBKEYHASH1, sgx_pubkey_hash[1]); in setup_default_sgx_lepubkeyhash()422 rdmsrl(MSR_IA32_SGXLEPUBKEYHASH2, sgx_pubkey_hash[2]); in setup_default_sgx_lepubkeyhash()423 rdmsrl(MSR_IA32_SGXLEPUBKEYHASH3, sgx_pubkey_hash[3]); in setup_default_sgx_lepubkeyhash()431 memcpy(vmx->msr_ia32_sgxlepubkeyhash, sgx_pubkey_hash, in vcpu_setup_sgx_lepubkeyhash()[all …]