return virt_to_page(systemcfg); 
pg = virt_to_page(systemcfg); else pg = virt_to_page(vbase + offset); 
static struct page * vdso_vma_nopage(struct vm_area_struct * vma,				     unsigned long address, int *type){	unsigned long offset = address - vma->vm_start;	struct page *pg;	void *vbase = test_thread_flag(TIF_32BIT) ? vdso32_kbase : vdso64_kbase;	DBG("vdso_vma_nopage(current: %s, address: %016lx, off: %lx)\n",	    current->comm, address, offset);	if (address < vma->vm_start || address > vma->vm_end)		return NOPAGE_SIGBUS;	/*	 * Last page is systemcfg, special handling here, no get_page() a	 * this is a reserved page	 */	if ((vma->vm_end - address) <= PAGE_SIZE)		return virt_to_page(systemcfg);	pg = virt_to_page(vbase + offset);	get_page(pg);	DBG(" ->page count: %d\n", page_count(pg));	return pg;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b5810039a54e5babf428e9a1e89fc1940fabff11/vdso.c/buggy/arch/ppc64/kernel/vdso.c