-
Nils Goroll authored
If the page from the segmem pool is too big, do not just trim it, but rather trade it for a smaller page if that is sufficient. Ref #60
If the page from the segmem pool is too big, do not just trim it, but rather trade it for a smaller page if that is sufficient. Ref #60