K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1995-01-25T20:36:29.000000Z
K 7
svn:log
V 253
Don't attempt to clean device_pager backed objects at terminate time.
There is similar bogusness in the pageout daemon that will be fixed soon.
This fixes a panic pointed out to me by Bruce Evans that occurs when
/dev/mem is used to map managed memory.

END