__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);