get_kernel_wa_level
val = get_kernel_wa_level(vcpu, reg->id) & KVM_REG_FEATURE_LEVEL_MASK;
if (get_kernel_wa_level(vcpu, reg->id) < val)
if (get_kernel_wa_level(vcpu, reg->id) < wa_level)