K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2010-12-22T20:27:20.536490Z
K 7
svn:log
V 214
Use resource_list_reserve() to reserve I/O port and memory resources for
ACPI devices even if they are not allocated by a device driver since the
resources are in use and should not be allocated to another device.

END