Symbol: user_remove
drivers/infiniband/hw/hfi1/file_ops.c
1694
user_remove(dd);
drivers/infiniband/hw/hfi1/file_ops.c
1713
user_remove(dd);