TDA4VM : CPSW2G PPS Pulse Per Second support

https://software-dl.ti.com/jacinto7/esd/processor-sdk-linux-rt-jacinto7/08_00_00_08/exports/docs/linux/Foundational_Components/Kernel/Kernel_Drivers/Network/CPSW2g.html?highlight=switch%20config#

Example of using Time stamp external events

The PPS support for J721E can be enabled by adding below changes to the board DT file to route CPSWxG CPTS GENF1 output to HW3_TS_PUSH_EN input, for example:

k3-am654-base-board.dts------the file is not of TDA4VM the board DT file 
#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] */ ---should check 
                     TS_OFFSET(25, 13)
              >;
       };
};

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

those info can not find in datasheet,please check it of the board TDA4VM