ibport_num_to_idx
u32 port_index = ibport_num_to_idx(ibdev, port_num);
u32 port_index = ibport_num_to_idx(ibdev, port_num);
port_index = ibport_num_to_idx(ibdev, port_num);
port_index = ibport_num_to_idx(ibdev, port_num);