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);