KVM_REG_FEATURE_LEVEL_MASK
val = get_kernel_wa_level(vcpu, reg->id) & KVM_REG_FEATURE_LEVEL_MASK;
if (val & ~KVM_REG_FEATURE_LEVEL_MASK)
if (val & ~(KVM_REG_FEATURE_LEVEL_MASK |
(val & KVM_REG_FEATURE_LEVEL_MASK) != KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_2_AVAIL)
switch (val & KVM_REG_FEATURE_LEVEL_MASK) {