big_data         8824 drivers/infiniband/hw/hfi1/chip.c 	u64 big_data;
big_data         8837 drivers/infiniband/hw/hfi1/chip.c 	ret = read_8051_data(dd, addr, 8, &big_data);
big_data         8842 drivers/infiniband/hw/hfi1/chip.c 			*result = (u32)(big_data >> 32);
big_data         8844 drivers/infiniband/hw/hfi1/chip.c 			*result = (u32)big_data;