Symbol: RES_XRCD_ALLOCATED
sys/dev/mlx4/mlx4_core/mlx4_resource_tracker.c
1114
ret->com.state = RES_XRCD_ALLOCATED;
sys/dev/mlx4/mlx4_core/mlx4_resource_tracker.c
1348
else if (res->com.state != RES_XRCD_ALLOCATED)