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