extern inline pte_t __mk_pte(void * page, pgprot_t pgprot) 
static inline pte_t __mk_pte(void * page, pgprot_t pgprot) 
extern inline pte_t __mk_pte(void * page, pgprot_t pgprot){	pte_t pte;	/* the PTE needs a physical address */	pte_val(pte) = __pa(page) | pgprot_val(pgprot);	return pte;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/pgtable.h/clean/include/asm-cris/pgtable.h