dcd6f3a597
Up until now, a tasklet couldn't be free'd while it was in the list, it is no longer the case, so make sure we remove it from the list before freeing it. To do so, we have to make sure we correctly initialize it, so use LIST_INIT, instead of setting the pointers to NULL. |
||
---|---|---|
.. | ||
common | ||
import | ||
proto | ||
types |