x86/xen: rename some PV-only functions in smp_pv.c