void libarm_dcc_write(unsigned long data);
data — The data to write to the debug comms channel.
The ARM's debug comms channel is usually used by debuggers so writing to this port with a debugger attached can cause unpredictable results.