KVM_S390_VM_CPU_FEAT_ASTFLEIE2
allow_cpu_feat(KVM_S390_VM_CPU_FEAT_ASTFLEIE2);
bool has_astfleie2 = test_kvm_cpu_feat(vcpu->kvm, KVM_S390_VM_CPU_FEAT_ASTFLEIE2);