Symbol: user_ctx_dev
drivers/dma/idxd/cdev.c
286
fdev = user_ctx_dev(ctx);
drivers/dma/idxd/cdev.c
364
device_unregister(user_ctx_dev(ctx));