void __4_6_3__IEEE_1588_PTP_EVENT_TRIGGERING_AND_TIMESTAMPING() {
    /**
     * @group:       	4.6.3 IEEE 1588 PTP EVENT TRIGGERING AND TIMESTAMPING
     *
     * @description:	An event trigger output signal can be generated when the target and activation time matches the IEEE1588 PTP system
     *					clock time. Likewise, an event timestamp input can be captured from an external event input signal and the correspond-
     *					ing time on the IEEE1588 PTP system clock will be captured. Both the output event block and the input timestamp block
     *					can be programmed to generate interrupts.
     *
     */
}