/* Offset the real time clock by a number of microseconds. Note that this only affects the RTC_CLOCK_REALTIME and RTC_CLOCK_PSEUDOHOSTREALTIME clocks.  */
void native_rtc_offset(int64_t delta_us)
/* Offset the real time clock by a number of microseconds. Note that this only affects the RTC_CLOCK_REALTIME and RTC_CLOCK_PSEUDOHOSTREALTIME clocks.  */
void native_rtc_offset(int64_t delta_us)
{
	hwtimer_adjust_rtc_offset(delta_us);
}