xen_vcpu_restore   40 arch/x86/xen/suspend.c 		xen_vcpu_restore();
xen_vcpu_restore   31 arch/x86/xen/xen-ops.h void xen_vcpu_restore(void);