| Line# | Code |
| 1 | active proctype ISR() |
| 2 | { chan ret_chan = [0] of {int}; |
| 3 | int i; |
| 4 | do |
| 5 | :: do |
| 6 | :: i>=0 && i i++; |
| 7 | :: i> 0 && i <=nProcesses-1 -> i --; |
| 8 | :: break; |
| 9 | od; |
| 10 | process_poll_params_chan ? i; |
| 11 | run process_poll(ret_chan,process_poll_params_chan); |
| 12 | ret_chan ? 0; |
| 13 | od; |
| 14 | } |