int ITM_channel_enabled(int n);
ITM_channel_enabled returns 1 if the given ITM channel is enabled otherwise it returns 0.
n is the ITM channel number from 0 to 31.