how tasklet_kill() worked?