level3_user_vsyscall  100 arch/x86/xen/mmu_pv.c static pud_t level3_user_vsyscall[PTRS_PER_PUD] __page_aligned_bss;
level3_user_vsyscall  874 arch/x86/xen/mmu_pv.c 	SetPagePinned(virt_to_page(level3_user_vsyscall));
level3_user_vsyscall 1505 arch/x86/xen/mmu_pv.c 				__pgd(__pa(level3_user_vsyscall) | _PAGE_TABLE);
level3_user_vsyscall 1950 arch/x86/xen/mmu_pv.c 	set_page_prot(level3_user_vsyscall, PAGE_KERNEL_RO);
level3_user_vsyscall 2350 arch/x86/xen/mmu_pv.c 		set_pte_vaddr_pud(level3_user_vsyscall, vaddr, pte);