hpte_soft_invalid   33 arch/powerpc/mm/book3s64/hash_64k.c 	return !(hpte_soft_invalid(__rpte_to_hidx(rpte, index)));
hpte_soft_invalid  174 arch/powerpc/mm/book3s64/hash_64k.c 		soft_invalid = hpte_soft_invalid(slot);