Some debugging for ARM/CCSP.