port_rcv_txt     7920 drivers/infiniband/hw/hfi1/chip.c static const char * const port_rcv_txt[] = {
port_rcv_txt     8054 drivers/infiniband/hw/hfi1/chip.c 			extra = port_rcv_txt[info];