diff options
| author |   Florin Coras <fcoras@cisco.com> | 2021-05-08 15:29:50 -0700 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2021-05-10 14:38:36 +0000 |
| commit | 0d31b9cb9f069f70592a83f95a7e63fab79719f6 (patch) | |
| tree | 7235ba41b0ce9d24e9f5be3f7bb2d87770a297b8 /extras/vagrant/env.sh | |
| parent | 9314ed82155637d39e50a68c3119cd09dce8b0c3 (diff) | |
svm: try chunk alloc only if enough space available
Type: fix
Signed-off-by: Florin Coras <fcoras@cisco.com>
Change-Id: I3c52dd783601d50e981f75bd05a7b95c03bb5c22
Diffstat (limited to 'extras/vagrant/env.sh')
0 files changed, 0 insertions, 0 deletions