K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-09-07T05:30:34.104315Z
K 7
svn:log
V 168
Allocate VPIDs by using the unit number allocator to keep do the bookkeeping.

Also deal with VPID exhaustion by allocating out of a reserved range as the
last resort.

END