I believe that this should be a pointer to const, i.e. a const uint32_t*.  The second const is extraneous, but the first is not.