Xen devel - Dec 2012 - [GIT PULL] (xen) stable/for-linus-3.8-rc0-bugfix-tag for 3.8.

Hey Linus,

Please git pull the following tag:

 git://git.kernel.org/pub/scm/linux/kernel/git/konrad/xen.git
stable/for-linus-3.8-rc0-bugfix-tag

which has two fixes. One of them is caused by the recent change introduced
by the ''x86-bsp-hotplug-for-linus'' tip tree that inhibited
bootup (old function
does not do what it used to do). The other one is just a vanilla bug.

Please pull!

 arch/x86/xen/enlighten.c              |  7 ++++---
 arch/x86/xen/smp.c                    |  2 +-
 include/xen/interface/event_channel.h | 13 +++++++++++++
 3 files changed, 18 insertions(+), 4 deletions(-)

Konrad Rzeszutek Wilk (1):
      xen/smp: Use smp_store_boot_cpu_info() to store cpu info for BSP during
boot time.

Wei Liu (2):
      xen: Add EVTCHNOP_reset in Xen interface header files.
      xen/vcpu: Fix vcpu restore path.