extern inline int pmd_bad(pmd_t pmd) 
static inline int pmd_bad(pmd_t pmd) 
extern inline int pmd_bad(pmd_t pmd){	return (pmd_val(pmd) & (~PAGE_MASK & ~_PAGE_TABLE_INV)) != _PAGE_TABLE;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4448aaf0faafff3f275d15937c28b6346760e028/pgtable.h/clean/include/asm-s390/pgtable.h