3719 		if (WARN_ON_ONCE(!mmu->pml4_root)) {  in mmu_alloc_shadow_roots()
3723 		mmu->pml4_root[0] = __pa(mmu->pae_root) | pm_mask;  in mmu_alloc_shadow_roots()
3730 			mmu->pml5_root[0] = __pa(mmu->pml4_root) | pm_mask;  in mmu_alloc_shadow_roots()
3760 		mmu->root.hpa = __pa(mmu->pml4_root);  in mmu_alloc_shadow_roots()
3777 	u64 *pml4_root = NULL;  in mmu_alloc_special_roots()  local
3798 	if (mmu->pae_root && mmu->pml4_root && (!need_pml5 || mmu->pml5_root))  in mmu_alloc_special_roots()
3805 	if (WARN_ON_ONCE(!tdp_enabled || mmu->pae_root || mmu->pml4_root ||  in mmu_alloc_special_roots()
3818 	pml4_root = (void *)get_zeroed_page(GFP_KERNEL_ACCOUNT);  in mmu_alloc_special_roots()
3819 	if (!pml4_root)  in mmu_alloc_special_roots()
3830 	mmu->pml4_root = pml4_root;  in mmu_alloc_special_roots()
3837 	free_page((unsigned long)pml4_root);  in mmu_alloc_special_roots()
5753 	free_page((unsigned long)mmu->pml4_root);  in free_mmu_pages()