extern inline void pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep) 
static inline void pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep) 
extern inline void pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep){	pte_val(*ptep) = _PAGE_INVALID_EMPTY;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4448aaf0faafff3f275d15937c28b6346760e028/pgtable.h/clean/include/asm-s390/pgtable.h