devlink_sb_pool_count
u16 pool_count = devlink_sb_pool_count(devlink_sb);
if (val >= devlink_sb_pool_count(devlink_sb))