Searched refs:pgd_level (Results 1 – 1 of 1) sorted by relevance
1634 void tdx_load_mmu_pgd(struct kvm_vcpu *vcpu, hpa_t root_hpa, int pgd_level) in tdx_topup_external_pamt_cache() 1636 if (KVM_BUG_ON(pgd_level != vcpu->kvm->arch.mirror_root_level, vcpu->kvm)) in tdx_mem_page_add() 1614 tdx_load_mmu_pgd(struct kvm_vcpu * vcpu,hpa_t root_hpa,int pgd_level) tdx_load_mmu_pgd() argument