extern inline void pmd_clear(pmd_t * pmdp) 
static inline void pmd_clear(pmd_t * pmdp) 
extern inline void pmd_clear(pmd_t * pmdp){	pmd_val(pmdp[0]) = _PAGE_TABLE_INV;	pmd_val(pmdp[1]) = _PAGE_TABLE_INV;	pmd_val(pmdp[2]) = _PAGE_TABLE_INV;	pmd_val(pmdp[3]) = _PAGE_TABLE_INV;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4448aaf0faafff3f275d15937c28b6346760e028/pgtable.h/buggy/include/asm-s390/pgtable.h