unsigned long long val; 
unsigned long pfn;  /* Turn a kernel-virtual address into a physical page frame */ pfn = __pa((u64)vma->vm_pgoff << PAGE_SHIFT) >> PAGE_SHIFT;  
static int mmap_kmem(struct file * file, struct vm_area_struct * vma){        unsigned long long val;	/*	 * RED-PEN: on some architectures there is more mapped memory	 * than available in mem_map which pfn_valid checks	 * for. Perhaps should add a new macro here.	 *	 * RED-PEN: vmalloc is not supported right now.	 */	if (!pfn_valid(vma->vm_pgoff))		return -EIO;	val = (u64)vma->vm_pgoff << PAGE_SHIFT;	vma->vm_pgoff = __pa(val) >> PAGE_SHIFT;	return mmap_mem(file, vma);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4bb82551e165f887448f6f61055d7bcd90aefa2a/mem.c/clean/drivers/char/mem.c