Symbol: ibnex_devname_to_portnum
usr/src/uts/common/io/ib/ibnex/ibnex.c
114
static int ibnex_devname_to_portnum(char *, uint8_t *);
usr/src/uts/common/io/ib/ibnex/ibnex.c
1723
if (ibnex_devname_to_portnum(device_name, port_num) !=