Home
last modified time | relevance | path

Searched refs:tmp_pkey (Results 1 – 2 of 2) sorted by relevance

/NextBSD/sys/ofed/drivers/infiniband/core/
HDdevice.c712 u16 tmp_pkey; in ib_find_pkey() local
716 ret = ib_query_pkey(device, port_num, i, &tmp_pkey); in ib_find_pkey()
719 if ((pkey & 0x7fff) == (tmp_pkey & 0x7fff)) { in ib_find_pkey()
721 if (tmp_pkey & 0x8000) { in ib_find_pkey()
/NextBSD/contrib/ofed/management/opensm/opensm/
HDosm_qos_parser_y.y2782 uint64_t tmp_pkey; in __pkey_rangelist2rangearr() local
2794 tmp_pkey = p_pkeys[1]; in __pkey_rangelist2rangearr()
2796 p_pkeys[0] = tmp_pkey; in __pkey_rangelist2rangearr()