pool_cache_sethardlimit
pool_cache_sethardlimit(&pmap_l1tt_cache, nmaxproc,
pool_cache_sethardlimit(mcl_cache, nmbclusters, mclpool_warnmsg, 60);
pool_cache_sethardlimit(mcl_cache, nmbclusters,
void pool_cache_sethardlimit(pool_cache_t, int, const char *, int);