Error in SysCtlClockGet in sysctl.c?

Hi,

I am wondering about the function SysCtlClockGet in sysctl.c

I think the IMULT must be a FMULT.

Mostly this has no effect because moslty IMULT is bigger the 3 and FMULT is 0.

It looks like some used copy&paste without changing I to F.

switch(ClkCfgRegs.SYSPLLMULT.bit.IMULT)
{
default:
case 0:
break;

case 1:
u32ClockIn += u32ClockIn / 4;
break;

case 2:
u32ClockIn += u32ClockIn / 2;
break;

case 3:
u32ClockIn += (u32ClockIn * 3) / 4;
break;
}
}