On 08/29/2017 02:46 PM, Christian Borntraeger wrote:
>>> +
>>> + if (test_kvm_facility(vcpu->kvm, 139)) {
>>
>> Although scb_s->epdx won't be interpreted without ECD_MEF, this should
>> be (so data is only copied if really enabled).
>>
>> if (scb_s->ecd | ECD_MEF)
>
> As you said, it does not matter but it certainly is clearer. I can fix.
FWIW, It will be & and not |
so
if (scb_s->ecd & ECD_MEF)
