hfi1_reset_device 1521 drivers/infiniband/hw/hfi1/hfi.h int hfi1_reset_device(int);
hfi1_reset_device  591 drivers/infiniband/hw/hfi1/sysfs.c 	ret = hfi1_reset_device(dd->unit);