| 72 | unsigned g_nest_log = 0; |
| 73 | |
| 74 | void inner_entry(void *) { |
| 75 | g_nest_log |= 0x02; |
| 76 | port_coroutine_yield(); /* yields back to outer */ |
| 77 | g_nest_log |= 0x08; |
| 78 | } |
| 79 | |
| 80 | void outer_entry(void *) { |
| 81 | g_nest_log |= 0x01; |
nothing calls this directly
no test coverage detected