Did you mean (for openbmc):gvec_vftci128 gvec_vftci64
Your search defs:gvec_vftci32 did not match any files. Suggestions: