Searched refs:hkid (Results 1 – 4 of 4) sorted by relevance
| /linux/arch/x86/include/asm/ |
| H A D | tdx.h | 186 u64 tdh_mng_create(struct tdx_td *td, u16 hkid); 203 u64 tdh_phymem_page_wbinvd_hkid(u64 hkid, kvm_pfn_t pfn);
|
| /linux/arch/x86/virt/vmx/tdx/ |
| H A D | tdx.c | 1812 u64 tdh_mng_create(struct tdx_td *td, u16 hkid) in tdh_mng_create() argument 1816 .rdx = hkid, in tdh_mng_create() 2030 static inline u64 mk_keyed_paddr(u16 hkid, kvm_pfn_t pfn) in mk_keyed_paddr() argument 2033 return PFN_PHYS(pfn) | ((u64)hkid << boot_cpu_data.x86_phys_bits); in mk_keyed_paddr() 2046 u64 tdh_phymem_page_wbinvd_hkid(u64 hkid, kvm_pfn_t pfn) in tdh_phymem_page_wbinvd_hkid() argument 2050 args.rcx = mk_keyed_paddr(hkid, pfn); in tdh_phymem_page_wbinvd_hkid()
|
| /linux/arch/x86/kvm/vmx/ |
| H A D | tdx.h | 26 int hkid; member
|
| H A D | tdx.c | 262 tdx_guest_keyid_free(kvm_tdx->hkid); 263 kvm_tdx->hkid = -1; in tdx_hkid_free() 271 return kvm_tdx->hkid > 0; 512 kvm_tdx->hkid); in tdx_mmu_release_hkid() 535 kvm_tdx->hkid); in tdx_mmu_release_hkid() 837 * hkid is not assigned at this stage. 840 * hkid is assigned after this stage. 851 * (2) puts hkid to !assigned state. 858 * - If at 3.3, hkid is still assigned, but the vCPU must be in 860 * - if at 5.2, hkid mus [all...] |