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