Hi,
SysCtlClockSet(SYSCTL_SYSDIV_5|SYSCTL_USE_PLL|SYSCTL_XTAL_16MHZ|SYSCTL_OSC_MAIN);
// This line sets the clock at 40 Mhz
SysCtlClockSet(SYSCTL_USE_PLL|SYSCTL_XTAL_16MHZ|SYSCTL_OSC_MAIN); // This line will set the clock freq at 200 Mhz,
But in the datasheet it was given as 80 Mhz for TM4C123GH6PM , what will be the input frequency to the system if the sysctlclockset is at 200Mhz