ibd_locate_pkey
} else if (ibd_locate_pkey(port_infop->p_pkey_tbl,
static int ibd_locate_pkey(ib_pkey_t *, uint16_t, ib_pkey_t, uint16_t *);