VERIEXEC_LABEL
#ifdef VERIEXEC_LABEL
params->flags |= VERIEXEC_LABEL;
#ifdef VERIEXEC_LABEL
if (params->flags & VERIEXEC_LABEL) {
if (params->flags & VERIEXEC_LABEL) {
(params->flags & VERIEXEC_LABEL) ?
return ((ip->flags & VERIEXEC_LABEL) != 0 ? ip->label : NULL);
if ((flags & VERIEXEC_LABEL) != 0 && (label == NULL || labellen == 0))
if (flags & VERIEXEC_LABEL) {
if (flags & VERIEXEC_LABEL)