IPTE_LOCAL         43 arch/s390/mm/pgtable.c 		__ptep_ipte(addr, ptep, opt, asce, IPTE_LOCAL);
IPTE_LOCAL         45 arch/s390/mm/pgtable.c 		__ptep_ipte(addr, ptep, 0, 0, IPTE_LOCAL);