3539 		if (WARN_ON_ONCE(!mmu->pml4_root)) {  in mmu_alloc_shadow_roots()
3543 		mmu->pml4_root[0] = __pa(mmu->pae_root) | pm_mask;  in mmu_alloc_shadow_roots()
3550 			mmu->pml5_root[0] = __pa(mmu->pml4_root) | pm_mask;  in mmu_alloc_shadow_roots()
3573 		mmu->root_hpa = __pa(mmu->pml4_root);  in mmu_alloc_shadow_roots()
3590 	u64 *pml4_root = NULL;  in mmu_alloc_special_roots()  local
3610 	if (mmu->pae_root && mmu->pml4_root && (!need_pml5 || mmu->pml5_root))  in mmu_alloc_special_roots()
3617 	if (WARN_ON_ONCE(!tdp_enabled || mmu->pae_root || mmu->pml4_root ||  in mmu_alloc_special_roots()
3630 	pml4_root = (void *)get_zeroed_page(GFP_KERNEL_ACCOUNT);  in mmu_alloc_special_roots()
3631 	if (!pml4_root)  in mmu_alloc_special_roots()
3642 	mmu->pml4_root = pml4_root;  in mmu_alloc_special_roots()
3649 	free_page((unsigned long)pml4_root);  in mmu_alloc_special_roots()
5488 	free_page((unsigned long)mmu->pml4_root);  in free_mmu_pages()