hv: pass integer to tasklet_init()