TDA4VH-Q1: how to enable pps on tda4vh board

Hi  TI experts,

I  want to  enable PPS function on tda4vh board. Unfortunately, I didn't find detail documents about how to enable PPS on tda4vh.

SDK version: ti-processor-sdk-linux-j784s4-evm-08_05_00_08

I refer link https://software-dl.ti.com/jacinto7/esd/processor-sdk-linux-jacinto7/08_06_00_11/exports/docs/linux/Foundational_Components/Kernel/Kernel_Drivers/Network/CPSW-PTP.html?highlight=pps and try to enable PPS,  add contents in dts, but pps doesn't work.

#define TS_OFFSET(pa, val)     (0x4+(pa)*4) (0x80000000 | val)

&timesync_router {
       pinctrl-names = "default";
       pinctrl-0 = <&mcu_cpts>;

       /* Example of the timesync routing */
       mcu_cpts: mcu_cpts {
              pinctrl-single,pins = <
                     /* pps [cpts genf1] in13 -> out25 [cpts hw4_push] */
                     TS_OFFSET(25, 13)
              >;
       };
};

&mcu_cpsw {
       ...
       cpts {
              ti,pps = <3 1>;
       };
};

Questions:

1: May I know if there are anything else needs to be done to enable PPS? 

2: There are 2 similar example codes for Time stamp external events and PPS respectively, may I know if there is more explanation for these applications and configurations?

Thanks a lot!