K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2010-12-23T18:50:14.719151Z
K 7
svn:log
V 238
Don't try to reserve a resource that is already allocated.  If the ECDT
table is present, then the acpi_ec(4) driver will allocate its resources
from nexus0 before the acpi0 device reserves resources for child devices.

Reviewed by:	jkim

END