K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2003-05-16T07:28:27.000000Z
K 7
svn:log
V 187
Use vm_object_deallocate(), not vm_pager_deallocate(), to destroy a
vm object.  (vm_pager_deallocate() does not, in fact, destroy a vm object.)

Approved by:	re (scottl)
Reviewed by:	phk

END