Hi,
there's RTC_DRV_GetTimeDate function in the RTC driver:
lukaszadrapa_0-1630398861429.png
However, the rtc_timedate_t supports seconds only:
lukaszadrapa_1-1630398906941.png
If you need to go down to milliseconds, it's necessary to develop own solution using another timer like STM, for example.
Regards,
Lukas