eintr_source(void * arg)1 void *eintr_source (void *arg)
2 {
3   int ts = 0;
4 
5   if (arg)
6     foo ();
7 
8   while (1)
9     {
10       if (arg)
11 	foo ();
12 
13       foo1 (&ts);
14     }
15 
16   return 0;
17 }
18