Searched refs:SHARED_EPT_POINTER (Results 1 – 2 of 2) sorted by relevance
| /arch/x86/include/asm/ | ||
| A D | vmx.h | 259 SHARED_EPT_POINTER = 0x0000203C, enumerator |
| /arch/x86/kvm/vmx/ | ||
| A D | tdx.c | 1586 td_vmcs_write64(to_tdx(vcpu), SHARED_EPT_POINTER, root_hpa); in tdx_load_mmu_pgd() |
Completed in 14 milliseconds