Did you mean (for external):uint32x4_t
Your search defs:uint32x4x4_t did not match any files. Suggestions: