/* This function set the IECDPCTGTPERF register out of the performance level (4 - 128).  */
static void set_performance(u32 perf)
/* This function set the IECDPCTGTPERF register out of the performance level (4 - 128).  */
static void set_performance(u32 perf)
{
	if(perf > 0x80)
		perf = 0x80;
	if(perf < 4)
		perf = 4;
	writel(perf, iec_base + IEC_DPCTGTPERF_OFFSET);
}