Symbol: rdma_port_counter