AM6442: Timestamping an event on an input GPIO

Part Number: AM6442

Tool/software:

We have a custom board. On this we have a FPGA receiving a hardware signal from a connector.
This signal we can route through the FPGA to  AM6442 pin P19 = GPMC0_CSn2, TIMER_IO8 or  pin or R21 = GPMC0_CSn3, TIMER_IO9.
We want to timestamp the edge with the PTP counter.

We already use this devicetree entry to generate a PPS:

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

  mcu_cpts_pps: mcu-cpts-pps {
      pinctrl-single,pins = <
                    TS_OFFSET(37, 22) /* pps [cpts genf1] in22 -> out37 [cpts hw8_push] */
                    TS_OFFSET(25, 22) /* pps [cpts genf1] in22 -> out25 [SYNC1_OUT pin] */
       >;
  };
};

Is it possible to do what we want, if so how to configure the path from GPIO to HW_PUSH?

Thanks and regards!