David, in his first mvcos patch, points out that we're not enforcing the facilties on translation. This takes care of that. I also went through and see that we fully implement 3 other facilities bits.
r~ David Hildenbrand (2): target/s390x: change PSW_SHIFT_KEY target/s390x: implement mvcos instruction Richard Henderson (3): target/s390x: Map existing FAC_* names to S390_FEAT_* names target/s390x: Enforce instruction features target/s390x: mark CSST, CSST2, FPSEH facilities as available target/s390x/cpu.h | 24 +++++- target/s390x/cpu_models.c | 4 + target/s390x/helper.h | 1 + target/s390x/insn-data.def | 2 + target/s390x/mem_helper.c | 181 +++++++++++++++++++++++++++++++++++++++++---- target/s390x/translate.c | 78 +++++++++++-------- 6 files changed, 243 insertions(+), 47 deletions(-) -- 2.9.4