extern __inline__ void pmd_free(pmd_t *pmd) 
static inline void pmd_free(pmd_t *pmd) 
extern __inline__ void pmd_free(pmd_t *pmd){	BUG_ON((unsigned long)pmd & (PAGE_SIZE-1));	free_page((unsigned long)pmd);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9c0aa0f9a16557a3dd9b7b0d39bc67ddf1fa0b32/pgalloc.h/buggy/include/asm-x86_64/pgalloc.h