Symbol: hpte_soft_invalid
arch/powerpc/mm/book3s64/hash_64k.c
176
soft_invalid = hpte_soft_invalid(slot);
arch/powerpc/mm/book3s64/hash_64k.c
35
return !(hpte_soft_invalid(__rpte_to_hidx(rpte, index)));