Searched refs:SHARED_EPT_POINTER (Results 1 – 2 of 2) sorted by relevance
262 SHARED_EPT_POINTER = 0x0000203C, enumerator
1621 td_vmcs_write64(to_tdx(vcpu), SHARED_EPT_POINTER, root_hpa); in tdx_load_mmu_pgd()