Symbol: xen_set_pud_hyper
arch/x86/xen/mmu_pv.c
2216
pv_ops.mmu.set_pud = xen_set_pud_hyper;
arch/x86/xen/mmu_pv.c
485
xen_set_pud_hyper(ptr, val);