K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2011-07-30T14:13:57.807020Z
K 7
svn:log
V 406
Fix a race in the device pager allocation. If another thread won and
allocated the device pager for the given handle, then the object
fictitious pages list and the object membership in the global object
list still need to be initialized. Otherwise, dev_pager_dealloc() will
traverse uninitialized pointers.

Reported and tested by: pho
Reviewed by:    jhb
Approved by:	re (kensmith)
MFC after:      1 week

END