I am using the OMAP3530 with the USB560M emulator on CCSv4. I would like to view the CP15 registers from within CCSv4. Is there a way to read this. I see that there is a keyword CP15_CONTROL_REGISTER for example that accesses the control register of CP15. Is there documentation for these keywords for accessing the various registers.