From c96c07424b707c8251a00038b4c246d525cc4cbc Mon Sep 17 00:00:00 2001
From: Cameron Gutman <aicommander@gmail.com>
Date: Sat, 27 Aug 2011 23:58:45 +0000
Subject: [PATCH] [ACPI] - Report a unique instance ID that can be used to
 identify different processors - Device Manager now displays one processor
 device per CPU

svn path=/trunk/; revision=53478
---
 reactos/drivers/bus/acpi/busmgr/bus.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/reactos/drivers/bus/acpi/busmgr/bus.c b/reactos/drivers/bus/acpi/busmgr/bus.c
index d9b3241a0c0..5b56916cf1a 100644
--- a/reactos/drivers/bus/acpi/busmgr/bus.c
+++ b/reactos/drivers/bus/acpi/busmgr/bus.c
@@ -60,6 +60,7 @@ LIST_HEAD(acpi_bus_event_list);
 KEVENT AcpiEventQueue;
 KDPC event_dpc;
 
+int ProcessorCount;
 
 static int
 acpi_device_register (
@@ -1145,6 +1146,7 @@ acpi_bus_add (
 	char			*uid = NULL;
 	ACPI_DEVICE_ID_LIST *cid_list = NULL;
 	int			i = 0;
+	char			processor_uid[5];
 
 	if (!child)
 		return_VALUE(AE_BAD_PARAMETER);
@@ -1272,6 +1274,8 @@ acpi_bus_add (
 		break;
 	case ACPI_BUS_TYPE_PROCESSOR:
 		hid = ACPI_PROCESSOR_HID;
+		uid = processor_uid;
+		sprintf(uid, "%d", (ProcessorCount++));
 		break;
 	case ACPI_BUS_TYPE_SYSTEM:
 		hid = ACPI_SYSTEM_HID;