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);