__xen_set_p4d_hyper  522 arch/x86/xen/mmu_pv.c 	__xen_set_p4d_hyper(ptr, val);
__xen_set_p4d_hyper  552 arch/x86/xen/mmu_pv.c 	__xen_set_p4d_hyper(ptr, val);
__xen_set_p4d_hyper  554 arch/x86/xen/mmu_pv.c 		__xen_set_p4d_hyper((p4d_t *)user_ptr, val);