user_remove 1701 drivers/infiniband/hw/hfi1/file_ops.c user_remove(dd); user_remove 1720 drivers/infiniband/hw/hfi1/file_ops.c user_remove(dd);