}
 
        wq->type = IDXD_WQT_USER;
-       rc = drv_enable_wq(wq);
+       rc = idxd_drv_enable_wq(wq);
        if (rc < 0)
                goto err;
 
        return 0;
 
 err_cdev:
-       drv_disable_wq(wq);
+       idxd_drv_disable_wq(wq);
 err:
        destroy_workqueue(wq->wq);
        wq->type = IDXD_WQT_NONE;
 
        mutex_lock(&wq->wq_lock);
        idxd_wq_del_cdev(wq);
-       drv_disable_wq(wq);
+       idxd_drv_disable_wq(wq);
        wq->type = IDXD_WQT_NONE;
        destroy_workqueue(wq->wq);
        wq->wq = NULL;
 
        return rc;
 }
 
-int drv_enable_wq(struct idxd_wq *wq)
+int idxd_drv_enable_wq(struct idxd_wq *wq)
 {
        struct idxd_device *idxd = wq->idxd;
        struct device *dev = &idxd->pdev->dev;
 err:
        return rc;
 }
+EXPORT_SYMBOL_NS_GPL(idxd_drv_enable_wq, IDXD);
 
-void drv_disable_wq(struct idxd_wq *wq)
+void idxd_drv_disable_wq(struct idxd_wq *wq)
 {
        struct idxd_device *idxd = wq->idxd;
        struct device *dev = &idxd->pdev->dev;
        wq->type = IDXD_WQT_NONE;
        wq->client_count = 0;
 }
+EXPORT_SYMBOL_NS_GPL(idxd_drv_disable_wq, IDXD);
 
 int idxd_device_drv_probe(struct idxd_dev *idxd_dev)
 {
 
 
        wq->type = IDXD_WQT_KERNEL;
 
-       rc = drv_enable_wq(wq);
+       rc = idxd_drv_enable_wq(wq);
        if (rc < 0) {
                dev_dbg(dev, "Enable wq %d failed: %d\n", wq->id, rc);
                rc = -ENXIO;
        return 0;
 
 err_dma:
-       drv_disable_wq(wq);
+       idxd_drv_disable_wq(wq);
 err:
        wq->type = IDXD_WQT_NONE;
        mutex_unlock(&wq->wq_lock);
        mutex_lock(&wq->wq_lock);
        __idxd_wq_quiesce(wq);
        idxd_unregister_dma_channel(wq);
-       drv_disable_wq(wq);
+       idxd_drv_disable_wq(wq);
        mutex_unlock(&wq->wq_lock);
 }
 
 
 /* device control */
 int idxd_device_drv_probe(struct idxd_dev *idxd_dev);
 void idxd_device_drv_remove(struct idxd_dev *idxd_dev);
-int drv_enable_wq(struct idxd_wq *wq);
-void drv_disable_wq(struct idxd_wq *wq);
+int idxd_drv_enable_wq(struct idxd_wq *wq);
+void idxd_drv_disable_wq(struct idxd_wq *wq);
 int idxd_device_init_reset(struct idxd_device *idxd);
 int idxd_device_enable(struct idxd_device *idxd);
 int idxd_device_disable(struct idxd_device *idxd);