/* (*1) In reality simulated time is simply not advanced just due to the "MCU" running. Meaning, the SW running on the MCU is assumed to take 0 time.  */
void arch_busy_wait(uint32_t usec_to_wait)
/* (*1) In reality simulated time is simply not advanced just due to the "MCU" running. Meaning, the SW running on the MCU is assumed to take 0 time.  */
void arch_busy_wait(uint32_t usec_to_wait)
{
	uint64_t time_end = nsi_hws_get_time() + usec_to_wait;
	while (nsi_hws_get_time() < time_end) {
		hwtimer_wake_in_time(time_end);
		posix_halt_cpu();
	}
}