Searched refs:shared_bit (Results 1 – 1 of 1) sorted by relevance
1615 u64 shared_bit = (pgd_level == 5) ? TDX_SHARED_BIT_PWL_5 : in tdx_load_mmu_pgd() local1618 if (KVM_BUG_ON(shared_bit != kvm_gfn_direct_bits(vcpu->kvm), vcpu->kvm)) in tdx_load_mmu_pgd()