r276200: EFI boot failure: kernel stops booting at pci0: <ACPI PCI bus> on pcib0

[Roger Pau Monné]

El 29/12/14 a les 12.41, Roger Pau Monné ha escrit:
> Hello,
> 
> Sorry for not noticing this earlier, I've been without a computer for
> some days. Do you get a panic message, or the system just freezes?
> 
> Can you please post the full boot output with boot_verbose enabled?

I'm not able to reproduce the problem with Qemu and OVMF, and I don't
have any box right now that uses UEFI.

I'm guessing that this is due to some memory reservation conflict, so
I'm attaching a patch that should help diagnose it. Could you provide
the information requested above with this patch applied?

Thanks, Roger.

-------------- next part --------------
diff --git a/sys/x86/x86/nexus.c b/sys/x86/x86/nexus.c
index 0663602..d563c36 100644
--- a/sys/x86/x86/nexus.c
+++ b/sys/x86/x86/nexus.c
@@ -367,6 +367,10 @@ nexus_alloc_resource(device_t bus, device_t child, int type, int *rid,
 	struct	rman *rm;
 	int needactivate = flags & RF_ACTIVE;
 
+	if (type == SYS_RES_MEMORY)
+		printf("%s: RSV range 0x%lx - 0x%lx size %lu\n",
+		    device_get_name(child), start, end, count);
+
 	/*
 	 * If this is an allocation of the "default" range for a given
 	 * RID, and we know what the resources for this device are