Konstantin Belousov 339772b003 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
2011-07-30 14:13:57 +00:00
..
2011-05-22 09:58:48 +00:00
2011-07-08 10:58:56 +00:00
2011-07-25 09:12:48 +00:00
MFC
2011-05-27 16:09:10 +00:00
2011-07-20 18:51:18 +00:00
2011-07-25 09:12:48 +00:00