VND_MAXPENDING
while (vnd->sc_pending >= VND_MAXPENDING(vnd))
if (vnd->sc_pending-- == VND_MAXPENDING(vnd))