VALID_PAGE       1244 arch/x86/kvm/mmu.c 		ASSERT(VALID_PAGE(table_addr));
VALID_PAGE       1330 arch/x86/kvm/mmu.c 	if (!VALID_PAGE(vcpu->arch.mmu.root_hpa))
VALID_PAGE       1372 arch/x86/kvm/mmu.c 		ASSERT(!VALID_PAGE(root));
VALID_PAGE       1389 arch/x86/kvm/mmu.c 		ASSERT(!VALID_PAGE(root));
VALID_PAGE       1425 arch/x86/kvm/mmu.c 	ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
VALID_PAGE       1443 arch/x86/kvm/mmu.c 	ASSERT(VALID_PAGE(vcpu->arch.mmu.root_hpa));
VALID_PAGE       1602 arch/x86/kvm/mmu.c 	ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
VALID_PAGE       1627 arch/x86/kvm/mmu.c 	if (VALID_PAGE(vcpu->arch.mmu.root_hpa)) {
VALID_PAGE       2032 arch/x86/kvm/mmu.c 	ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));
VALID_PAGE       2040 arch/x86/kvm/mmu.c 	ASSERT(!VALID_PAGE(vcpu->arch.mmu.root_hpa));