scottl 31cea9b6ce Fix a case in rman_manage_region() where the resource list would get missorted.
This would in turn confuse rman_reserve_resource().  This was only seen for
MSI resources that can get allocated and deallocated after boot.
2007-02-23 22:53:56 +00:00
..
2007-02-23 21:07:44 +00:00
2006-12-14 17:33:46 +00:00
2006-11-28 19:33:28 +00:00
2007-02-23 19:41:34 +00:00
2006-11-26 18:27:16 +00:00