Are these Timer/Counter settings right for PWM generation?

Hi remington,
I unfortunately cannot post any circuit diagrams or any as such as I do not have access to any. All I have been assigned as part of a project is to read whatever that physical quantity is whether time or voltage in between the peak-to-peak pulse duration. Since I can't see whether pin 9 is outputting a 125khz square wave, I had to seek approvals from on here. I have attached an image below.

Best,
A