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