static inline pte_t pte_mkhuge(pte_t pte)	{ (pte).pte_low |= _PAGE_PRESENT | _PAGE_PSE; return pte; } 
static inline pte_t pte_mkhuge(pte_t pte)	{ (pte).pte_low |= __LARGE_PTE; return pte; } 
static inline pte_t pte_mkhuge(pte_t pte)	{ (pte).pte_low |= _PAGE_PRESENT | _PAGE_PSE; return pte; }
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/32e51a8c976fc72c3e9bcece9767d9908816bf8e/pgtable.h/buggy/include/asm-i386/pgtable.h