How to read ARM A9 registers in C?

Hello!

I'm using a Zybo board with a dual-core ARM Cortex-A9 processor and I'm trying to read (and then write) the registers of the processor. How can I read these values into variables in C code?

 

Thank you!