How to verify HS_PLL clock speed

[Bruce]

"EDIT"

For OSC2 to output clock/4 with a TTL clock oscillator, you'll need to use EC or ECIO mode.

HSPLL isn't available for EC or ECIO mode. With a 4MHz TTL clock oscillator, you'll have only 4MHz. HSPLL mode works with the TTL clock if you set config fuses for HSPLL, but you can't use the OSC2 pin in HS mode. Only EC or ECIO modes.