diff options
author | Dave Barach <dave@barachs.net> | 2016-07-26 10:30:50 -0400 |
---|---|---|
committer | Dave Barach <dave@barachs.net> | 2016-07-26 10:31:05 -0400 |
commit | ac0798db359eb0de2eae1a54b63dfaa9534984c8 (patch) | |
tree | 6ee4810cbed91cb517629f5132a9872882439e4d /svm/svmtool.c | |
parent | 0f1c29c9d45edcc2d226a8e519db3e56888e3181 (diff) |
Fix coverity warnings
Change-Id: I37131f2d814a608fe9098daff83ff395f7ce99d7
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'svm/svmtool.c')
-rw-r--r-- | svm/svmtool.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/svm/svmtool.c b/svm/svmtool.c index c37afbd152c..545f071e47e 100644 --- a/svm/svmtool.c +++ b/svm/svmtool.c @@ -164,6 +164,7 @@ svm_map_region_nolock (svm_map_region_args_t * a) if (rp->version == 0) { clib_warning ("rp->version %d not %d", rp->version, SVM_VERSION); + munmap (rp, MMAP_PAGESIZE); return (0); } /* Remap now that the region has been placed */ |