Symbol: xen_set_pmd_hyper
arch/x86/xen/mmu_pv.c
2201
pv_ops.mmu.set_pmd = xen_set_pmd_hyper;
arch/x86/xen/mmu_pv.c
309
xen_set_pmd_hyper(ptr, val);