ptep = find_linux_pte(ioremap_mm.pgd, token); 
ptep = find_linux_pte(init_mm.pgd, token); 
static inline unsigned long eeh_token_to_phys(unsigned long token){	pte_t *ptep;	unsigned long pa;	ptep = find_linux_pte(ioremap_mm.pgd, token);	if (!ptep)		return token;	pa = pte_pfn(*ptep) << PAGE_SHIFT;	return pa | (token & (PAGE_SIZE-1));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/20cee16ced631f70a62c97bdebae08a1c9470448/eeh.c/buggy/arch/ppc64/kernel/eeh.c