hfi1_get_header   220 drivers/infiniband/hw/hfi1/driver.c 	return (struct ib_header *)hfi1_get_header(rcd, rhf_addr);
hfi1_get_header   227 drivers/infiniband/hw/hfi1/driver.c 	return (struct hfi1_16b_header *)hfi1_get_header(rcd, rhf_addr);