vmm: fix set but not used warning
(cherry picked from commit 3587bfa797cd66dce2e94ca93df5ce41def555df)