Get system information based on the ACPI (currently only number of CPUs)

xtoskrnl/includes/globals.h

@@ -18,6 +18,9 @@ EXTERN LIST_ENTRY HlpAcpiCacheList;
 /* ACPI Root System Description Pointer (RSDP) */
 EXTERN PACPI_RSDP HlpAcpiRsdp;
 
+/* ACPI system information */
+EXTERN ACPI_SYSTEM_INFO HlpAcpiSystemInfo;
+
 /* ACPI timer information */
 EXTERN ACPI_TIMER_INFO HlpAcpiTimerInfo;