/* Alternate thread. 
This routine invokes the workqueue many times.  */
void alternate_thread(void *arg1, void *arg2, void *arg3)
/* Alternate thread. 
This routine invokes the workqueue many times.  */
void alternate_thread(void *arg1, void *arg2, void *arg3)
{
	ARG_UNUSED(arg1);
	ARG_UNUSED(arg2);
	ARG_UNUSED(arg3);
	k_sem_take(&ALT_SEM, K_FOREVER);
	alt_thread_iterations = critical_loop("alt1", alt_thread_iterations);
	k_sem_give(&REGRESS_SEM);
	k_sem_take(&ALT_SEM, K_FOREVER);
	alt_thread_iterations = critical_loop("alt2", alt_thread_iterations);
	k_sem_give(&REGRESS_SEM);
}