vtballoon_deflate
vtballoon_deflate(sc, sc->vtballoon_current_npages);
vtballoon_deflate(sc, current - desired);
static void vtballoon_deflate(struct vtballoon_softc *, int);