Symbol: record_hpte
arch/powerpc/kvm/book3s_64_mmu_hv.c
1749
record_hpte(flags, hptp, hpte, revp, 1, first_pass)) {
arch/powerpc/kvm/book3s_64_mmu_hv.c
1764
record_hpte(flags, hptp, hpte, revp, 0, first_pass)) {