On Mon, 4 Dec 2017 13:55:00 +0100 David Hildenbrand <da...@redhat.com> wrote:
> 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. Thank you for taking care of my unpublished todo list ;) Does device_del also work? > > 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(-) >
