db_state_str      467 drivers/infiniband/hw/cxgb4/device.c static char *db_state_str[] = {"NORMAL", "FLOW_CONTROL", "RECOVERY", "STOPPED"};
db_state_str      500 drivers/infiniband/hw/cxgb4/device.c 		   db_state_str[dev->db_state],