Searched refs:VALID_PAGE (Results 1 – 5 of 5) sorted by relevance
62 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in mmu_spte_walk()76 if (root && VALID_PAGE(root)) { in mmu_spte_walk()
2643 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in __direct_map()2818 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in fast_page_fault()2954 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in mmu_free_roots()3022 ASSERT(!VALID_PAGE(root)); in mmu_alloc_direct_roots()3060 ASSERT(!VALID_PAGE(root)); in mmu_alloc_shadow_roots()3085 ASSERT(!VALID_PAGE(root)); in mmu_alloc_shadow_roots()3153 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in mmu_sync_roots()3168 if (root && VALID_PAGE(root)) { in mmu_sync_roots()3215 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in walk_shadow_page_get_mmio_spte()3289 ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa)); in nonpaging_page_fault()[all …]
584 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in FNAME()845 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) { in FNAME()
3394 if (!VALID_PAGE(vcpu->arch.mmu.root_hpa)) in vmx_flush_tlb()
66 #define VALID_PAGE(x) ((x) != INVALID_PAGE) macro