read_remote_device_id 1036 drivers/infiniband/hw/hfi1/chip.c static void read_remote_device_id(struct hfi1_devdata *dd, u16 *device_id,
read_remote_device_id 7471 drivers/infiniband/hw/hfi1/chip.c 	read_remote_device_id(dd, &device_id, &device_rev);