/* Return the current simulated RTC time in microseconds  */
int64_t hwtimer_get_simu_rtc_time(void)
/* Return the current simulated RTC time in microseconds  */
int64_t hwtimer_get_simu_rtc_time(void)
{
	return nsi_hws_get_time() + rtc_offset;
}