record_hpte      1792 arch/powerpc/kvm/book3s_64_mmu_hv.c 		       record_hpte(flags, hptp, hpte, revp, 1, first_pass)) {
record_hpte      1807 arch/powerpc/kvm/book3s_64_mmu_hv.c 		       record_hpte(flags, hptp, hpte, revp, 0, first_pass)) {