xen_set_pud_hyper  439 arch/x86/xen/mmu_pv.c 	xen_set_pud_hyper(ptr, val);
xen_set_pud_hyper 2428 arch/x86/xen/mmu_pv.c 	.set_pud = xen_set_pud_hyper,