Symbol: ib_cache_update
sys/ofed/drivers/infiniband/core/ib_cache.c
1147
ib_cache_update(work->device, work->port_num);
sys/ofed/drivers/infiniband/core/ib_cache.c
1199
ib_cache_update(device, p + rdma_start_port(device));