I've successfully set up and tested frequency measurement on my T7-Pro using the following:
DIO_EF_CLOCK0_ENABLE = 1
DIO0_EF_ENABLE = 0
DIO0_EF_INDEX = 3
DIO0_EF_ENABLE = 1
My only issue is that when the frequency is set to 0, the period and frequency readings DIO0_EF_READ_A_F & DIO0_EF_READ_B_F don't update because there's no new edge (they stick at the last reading). I've run into this issue with other projects, but usually it was on a microcontroller and could be handled with a timeout that was greater than the minimum frequency needed for the application.
In this case, I can see sacrificing another Input and measure the time from the last edge, or maybe toggling the function of the Input used for frequency, but neither of those is very neat. Is there a more sensible way to get a 0Hz reading out of the device?
Usually this is handled by using DIO0_EF_READ_A_AND_RESET to do your reads. That way subsequent reads will return 0 if there has not been a new edge. Now since software knows there has not been a new edge, it can then decide when to declare frequency 0.