769 	struct idxd_evl *evl = idxd->evl;  in idxd_device_evl_setup()  local
773 	if (!evl)  in idxd_device_evl_setup()
794 	mutex_lock(&evl->lock);  in idxd_device_evl_setup()
795 	evl->log = addr;  in idxd_device_evl_setup()
796 	evl->dma = dma_addr;  in idxd_device_evl_setup()
797 	evl->log_size = size;  in idxd_device_evl_setup()
798 	evl->bmap = bmap;  in idxd_device_evl_setup()
802 	evlcfg.size = evl->size;  in idxd_device_evl_setup()
815 	mutex_unlock(&evl->lock);  in idxd_device_evl_setup()
832 	struct idxd_evl *evl = idxd->evl;  in idxd_device_evl_free()  local
834 	if (!evl)  in idxd_device_evl_free()
837 	mutex_lock(&evl->lock);  in idxd_device_evl_free()
848 	bitmap_free(evl->bmap);  in idxd_device_evl_free()
849 	evl_log = evl->log;  in idxd_device_evl_free()
850 	evl_log_size = evl->log_size;  in idxd_device_evl_free()
851 	evl_dma = evl->dma;  in idxd_device_evl_free()
852 	evl->log = NULL;  in idxd_device_evl_free()
853 	evl->size = IDXD_EVL_SIZE_MIN;  in idxd_device_evl_free()
854 	mutex_unlock(&evl->lock);  in idxd_device_evl_free()