On Thu, Jun 09, 2016 at 11:50:11AM -0500, Bjorn Helgaas wrote: > 5) 00:1c.0 claims to have a slot that supports hotplug. Is that > actually true? Could you add a device below it? If not, maybe the > problem is that the BIOS should have configured 00:1c.0 so it > doesn't report a slot. If it didn't report a slot, we shouldn't > assign resources to it, since there is no possibility of a device > below it. Of course, this would only be *part* of the problem, because a hot-added device somewhere else could still be assigned the space at [mem 0x7fc00000-0x7fdfffff]. This just smells like an unreported device in there somewhere. -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html