On Mon, Sep 30, 2019 at 03:52:19PM -0700, Kees Cook wrote:
> On Sun, Sep 29, 2019 at 06:30:28PM +0200, Romain Perier wrote:
> > Now that everything has been converted to the new API, we can remove
> > tasklet_init() and replace it by tasklet_setup().
> > 
> > Signed-off-by: Romain Perier <romain.perier@gmail.com>
> 
> If this is the last user of TASKLET_*_TYPE casts, those should get
> dropped here too.
> 
> -Kees

Good catch ! I will squash the change to this commit

Romain