static inline void pud_clear (pud_t * pud) { } 
extern inline void pud_clear (pud_t *pud) { set_pud(pud, __pud(0)); } 
static inline void pud_clear (pud_t * pud) { }
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7ef939054139ef857cebbec07cbd12d7cf7beedd/pgtable-3level.h/buggy/include/asm-um/pgtable-3level.h