__xen_set_pgd_hyper  600 arch/x86/xen/mmu.c 	__xen_set_pgd_hyper(ptr, val);
__xen_set_pgd_hyper  631 arch/x86/xen/mmu.c 	__xen_set_pgd_hyper(ptr, val);
__xen_set_pgd_hyper  633 arch/x86/xen/mmu.c 		__xen_set_pgd_hyper(user_ptr, val);