Is there any example on how to toggle AVNET Zynq 7000 User LED using DMA in Linux?

Question

I am looking for an example on how to write on to GPIO i.e. user LED gpio using DMA in linux. How can I do so? Is there any example that illustrates this. I am using Zynq700