Searched refs:lepubkeyhash (Results 1 – 4 of 4) sorted by relevance
105 void sgx_update_lepubkeyhash(u64 *lepubkeyhash);
409 void __user *secs, u64 *lepubkeyhash, int *trapnr) in sgx_virt_einit() argument418 sgx_update_lepubkeyhash(lepubkeyhash); in sgx_virt_einit()
859 void sgx_update_lepubkeyhash(u64 *lepubkeyhash) in sgx_update_lepubkeyhash() argument866 wrmsrl(MSR_IA32_SGXLEPUBKEYHASH0 + i, lepubkeyhash[i]); in sgx_update_lepubkeyhash()
417 void __user *secs, u64 *lepubkeyhash, int *trapnr);