pf_get_min_spare_ctxs
spare = max_t(u32, spare, pf_get_min_spare_ctxs(gt));
if (spare && spare < pf_get_min_spare_ctxs(gt))