read_guid        14970 drivers/infiniband/hw/hfi1/chip.c 	read_guid(dd);
read_guid         770 drivers/infiniband/hw/hfi1/chip.h void read_guid(struct hfi1_devdata *dd);