/* Waits until last write operation on RTC registers has finished.  */
void RTC_WaitForLastTask(void)
/* Waits until last write operation on RTC registers has finished.  */
void RTC_WaitForLastTask(void)
{
    while (!(RTC->CSR & RTC_CSR_RTOFF));
}