dc8051_info_err_string 7782 drivers/infiniband/hw/hfi1/chip.c 					    dc8051_info_err_string(buf,
dc8051_info_err_string 7797 drivers/infiniband/hw/hfi1/chip.c 				   dc8051_info_err_string(buf, sizeof(buf),