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. 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 | 20 ++++++++++++++++++++ target/s390x/excp_helper.c | 18 ++++++++---------- 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(+), 36 deletions(-) -- 2.14.3
