Symbol: check_label_want
lib/libveriexec/veriexec_get.c
207
return check_label_want(params.label, params.labellen,
lib/libveriexec/veriexec_get.c
237
return check_label_want(params.label, params.labellen,