unsigned long libarm_dcc_read(void);
libarm_dcc_read returns — The data read from the debug comms channel.
The ARM's debug comms channel is usually used by debuggers so reading from this port with a debugger attached can cause unpredictable results.