Symbol: __xen_set_p4d_hyper
arch/x86/xen/mmu_pv.c
550
__xen_set_p4d_hyper(ptr, val);
arch/x86/xen/mmu_pv.c
580
__xen_set_p4d_hyper(ptr, val);
arch/x86/xen/mmu_pv.c
582
__xen_set_p4d_hyper((p4d_t *)user_ptr, val);