On 17/01/2018 12:29, Christian Borntraeger wrote: >> The problem is not that I announce the facility, I in fact announce that the >> programmatic interface is available (the sebc sync reg and the usage of that field). >> (So the CAP is part of this patch to have both in lockstep) >> A non-existing facility will then just disable that programmatic interface. > To put it differently. CAP_S390_GS and CAP_S390_SEB could also just > do a > > return 1; > > and the QEMU has to check both (which it probably does anyway) I see. Thanks for the explanation! Paolo