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);