SetPagePinned     860 arch/x86/xen/mmu_pv.c 	SetPagePinned(page);
SetPagePinned     874 arch/x86/xen/mmu_pv.c 	SetPagePinned(virt_to_page(level3_user_vsyscall));
SetPagePinned    1643 arch/x86/xen/mmu_pv.c 			SetPagePinned(page);