On a cpu reset normal, we need to clear local cpus. Unfortunately we
need a new API for that, since KVM only exposes one of the three
resets.

Also we need to clear the riccb and the PSW ri mask on a normal reset.
And we need to set the short psw bit indication in the bios when doing
a reset.

Patches are also in my cleanup branch.
v2 of the KVM patch for the resets will be posted soon.

Janosch Frank (4):
  Header sync
  s390x: Add missing vcpu reset functions
  s390x: Fix cpu normal reset ri clearing
  pc-bios/s390x: Fix reset psw mask

 linux-headers/linux/kvm.h   |  4 ++++
 pc-bios/s390-ccw/jump2ipl.c | 12 ++++++-----
 target/s390x/cpu.c          | 23 +++++++++++++++++---
 target/s390x/cpu.h          |  7 ++++++-
 target/s390x/kvm-stub.c     | 10 ++++++++-
 target/s390x/kvm.c          | 42 ++++++++++++++++++++++++++++++-------
 target/s390x/kvm_s390x.h    |  4 +++-
 7 files changed, 83 insertions(+), 19 deletions(-)

-- 
2.20.1