ticksPerSecond = Chip_Clock_GetSystemClockRate() / prescaleDivisor / 4 ;
ticksPerSecond = Chip_Clock_GetPeripheralClockRate() / prescaleDivisor ;