xen_pgd_walk      845 arch/x86/xen/mmu.c 	if (xen_pgd_walk(mm, xen_pin_page, USER_LIMIT)) {
xen_pgd_walk      920 arch/x86/xen/mmu.c 	xen_pgd_walk(&init_mm, xen_mark_pinned, FIXADDR_TOP);
xen_pgd_walk      987 arch/x86/xen/mmu.c 	xen_pgd_walk(mm, xen_unpin_page, USER_LIMIT);