read_8051_data   8837 drivers/infiniband/hw/hfi1/chip.c 	ret = read_8051_data(dd, addr, 8, &big_data);
read_8051_data    764 drivers/infiniband/hw/hfi1/chip.h int read_8051_data(struct hfi1_devdata *dd, u32 addr, u32 len, u64 *result);
read_8051_data    664 drivers/infiniband/hw/hfi1/debugfs.c 		rval = read_8051_data(ppd->dd, start, end - start,