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
This commit is contained in:
John Baldwin 2010-12-23 18:50:14 +00:00
parent e1070bf509
commit 0d81cf1227
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=216680

View file

@ -1149,6 +1149,14 @@ acpi_reserve_resources(device_t dev)
if (rle->type == SYS_RES_IRQ)
continue;
/*
* Don't reserve the resource if it is already allocated.
* The acpi_ec(4) driver can allocate its resources early
* if ECDT is present.
*/
if (rle->res != NULL)
continue;
/*
* Try to reserve the resource from our parent. If this
* fails because the resource is a system resource, just