Hotplugging a ccw device currently fails due to different reasons.
1. The stored machine check information is partially wrong.
2. The TOD programmable field cannot be restored.
3. STCRW cannot get executed.
With these patches, I am able to sucessfully hotplug e.g. virtio-rng by
issuing "device_add virtio-rng-ccw,id=rng0" to a Linux guest. Unplug
also seems to work.
v1 -> v2:
- avoid accessing unmapped lowcore
- minor style issues, more/better comments and description fixes
David Hildenbrand (5):
s390x/kvm: factor out build_channel_report_mcic() into cpu.h
s390x/tcg: fix and cleanup mcck injection
s390x/tcg: implement SET CLOCK PROGRAMMABLE FIELD
s390x/tcg: indicate value of TODPR in STCKE
s390x/tcg: wire up STORE CHANNEL REPORT WORD
target/s390x/cpu.h | 22 ++++++++++++++++++++++
target/s390x/excp_helper.c | 12 ++++++------
target/s390x/helper.h | 2 ++
target/s390x/insn-data.def | 3 +++
target/s390x/internal.h | 6 +++---
target/s390x/kvm.c | 25 ++-----------------------
target/s390x/misc_helper.c | 20 ++++++++++++++++++++
target/s390x/translate.c | 20 ++++++++++++++++++++
8 files changed, 78 insertions(+), 32 deletions(-)
--
2.14.3