inteldrm_doswitch
void inteldrm_doswitch(void *);
inteldrm_doswitch(v);
task_set(&dev_priv->switchtask, inteldrm_doswitch, dev_priv);