John Baldwin 147c0ad0a1 Use a tighter check to see if a resource allocation request is for a
specific request and thus should first try to be allocated from the
sys_resource pool.  This avoids using the sys_resource pool for wildcard
requests that have bounded ranges coming from cbb(4) and Host-PCI pcib(4)
drivers.

Tested by:	Andrea Bittau <a.bittau of cs.ucl.ac.uk fame>
Sleuthing by:	Andrea Bittau as well
2007-04-25 16:22:18 +00:00
..
2007-04-02 19:09:06 +00:00
2007-02-23 19:27:49 +00:00
2006-11-29 08:05:55 +00:00
2007-03-21 03:42:51 +00:00
2007-02-23 19:34:52 +00:00
2007-04-06 11:21:01 +00:00
2007-04-25 01:20:31 +00:00
2007-03-11 15:20:04 +00:00
2006-11-06 17:43:10 +00:00
2007-03-21 03:42:51 +00:00
2007-03-23 22:48:44 +00:00
2007-03-21 03:42:51 +00:00
2007-04-23 12:19:02 +00:00