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);