Symbol: hfi1_reset_device
drivers/infiniband/hw/hfi1/hfi.h
1601
int hfi1_reset_device(int);
drivers/infiniband/hw/hfi1/sysfs.c
499
ret = hfi1_reset_device(dd->unit);