Symbol: xrcd_table_delete
sys/ofed/drivers/infiniband/core/ib_uverbs_cmd.c
656
xrcd_table_delete(ibudev, vnode);
sys/ofed/drivers/infiniband/core/ib_uverbs_cmd.c
707
xrcd_table_delete(dev, vnode);