get_rhf_addr     8412 drivers/infiniband/hw/hfi1/chip.c 				rhf_rcv_seq(rhf_to_cpu(get_rhf_addr(rcd))));
get_rhf_addr      419 drivers/infiniband/hw/hfi1/driver.c 	packet->rhf_addr = get_rhf_addr(rcd);