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));