TX_SETTINGS      9052 drivers/infiniband/hw/hfi1/chip.c 	ret = read_8051_config(dd, TX_SETTINGS, GENERAL_CONFIG, &frame);
TX_SETTINGS      9076 drivers/infiniband/hw/hfi1/chip.c 	return load_8051_config(dd, TX_SETTINGS, GENERAL_CONFIG, frame);