I\'m using OProfile to profile the following function on a raspberry pi 3B+
void do_stuff_u32(const uint32_t* a, const uint32_t* b, uint32_t* c, size_t array_