hfi1_class_name_user  125 drivers/infiniband/hw/hfi1/device.c static const char *hfi1_class_name_user = "hfi1_user";
hfi1_class_name_user  128 drivers/infiniband/hw/hfi1/device.c 	return hfi1_class_name_user;