 get_page(virt_to_page(systemcfg)); 
void __init vdso_init(void){	int i;	vdso64_pages = (&vdso64_end - &vdso64_start) >> PAGE_SHIFT;	vdso32_pages = (&vdso32_end - &vdso32_start) >> PAGE_SHIFT;	DBG("vdso64_kbase: %p, 0x%x pages, vdso32_kbase: %p, 0x%x pages\n",	       vdso64_kbase, vdso64_pages, vdso32_kbase, vdso32_pages);	/*	 * Initialize the vDSO images in memory, that is do necessary	 * fixups of vDSO symbols, locate trampolines, etc...	 */	if (vdso_setup()) {		printk(KERN_ERR "vDSO setup failure, not enabled !\n");		/* XXX should free pages here ? */		vdso64_pages = vdso32_pages = 0;		return;	}	/* Make sure pages are in the correct state */	for (i = 0; i < vdso64_pages; i++) {		struct page *pg = virt_to_page(vdso64_kbase + i*PAGE_SIZE);		ClearPageReserved(pg);		get_page(pg);	}	for (i = 0; i < vdso32_pages; i++) {		struct page *pg = virt_to_page(vdso32_kbase + i*PAGE_SIZE);		ClearPageReserved(pg);		get_page(pg);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b5810039a54e5babf428e9a1e89fc1940fabff11/vdso.c/buggy/arch/ppc64/kernel/vdso.c