using printf to print alt_u32 data

Hello, I am trying print the result from a FFT calculation using DMA. However, I am not sure how to use printf to accomplish that. I suspect tha it would look something like this: alt_...