Symbol: BAD_ID_REG_VAL
tools/testing/selftests/kvm/arm64/aarch32_id_regs.c
107
vcpu_set_reg(vcpu, reg_id, BAD_ID_REG_VAL);
tools/testing/selftests/kvm/arm64/aarch32_id_regs.c
132
r = __vcpu_set_reg(vcpu, reg_id, BAD_ID_REG_VAL);