diff --git a/sys/dev/acpica/acpi.c b/sys/dev/acpica/acpi.c
index 8ba2f397d8df..7715f0f03b5d 100644
--- a/sys/dev/acpica/acpi.c
+++ b/sys/dev/acpica/acpi.c
@@ -1352,6 +1352,14 @@ acpi_set_resource(device_t dev, device_t child, int type, int rid,
     if (type == SYS_RES_IRQ)
 	return (0);
 
+    /*
+     * Don't reserve resources for CPU devices.  Some of these
+     * resources need to be allocated as shareable, but reservations
+     * are always non-shareable.
+     */
+    if (device_get_devclass(child) == devclass_find("cpu"))
+	return (0);
+
     /*
      * Reserve the resource.
      *