Searched refs:level3_user_vsyscall (Results 1 – 1 of 1) sorted by relevance
107 static pud_t level3_user_vsyscall[PTRS_PER_PUD] __page_aligned_bss; variable860 SetPagePinned(virt_to_page(level3_user_vsyscall)); in xen_after_bootmem()1470 __pgd(__pa(level3_user_vsyscall) | _PAGE_TABLE); in xen_pgd_alloc()1848 set_page_prot(level3_user_vsyscall, PAGE_KERNEL_RO); in xen_setup_kernel_pagetable()1850 PFN_DOWN(__pa_symbol(level3_user_vsyscall))); in xen_setup_kernel_pagetable()2131 set_pte_vaddr_pud(level3_user_vsyscall, vaddr, pte); in xen_set_fixmap()