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

/freebsd-10.3-release/sys/ofed/drivers/infiniband/core/
H A Ddevice.c707 u16 tmp_pkey; local
710 ret = ib_query_pkey(device, port_num, i, &tmp_pkey);
714 if ((pkey & 0x7fff) == (tmp_pkey & 0x7fff)) {
/freebsd-10.3-release/contrib/ofed/management/opensm/opensm/
H A Dosm_qos_parser_y.y2782 uint64_t tmp_pkey;
2794 tmp_pkey = p_pkeys[1];
2796 p_pkeys[0] = tmp_pkey;

Completed in 99 milliseconds