xenvif_dealloc_kthread
int xenvif_dealloc_kthread(void *data);
task = kthread_run(xenvif_dealloc_kthread, queue,