/* Routine to be called from a workqueue. 
This routine increments the global variable  */
void critical_rtn(struct k_work *unused)
/* Routine to be called from a workqueue. 
This routine increments the global variable  */
void critical_rtn(struct k_work *unused)
{
	volatile uint32_t x;
	ARG_UNUSED(unused);
	x = critical_var;
	critical_var = x + 1;
}