) {
#include "acpi/cpstate.asl"
}
+
+ Processor(
+ CPU4, /* name space name */
+ 4, /* Unique number for this processor */
+ 0x0000, /* PBLK system I/O address !hardcoded! */
+ 0x00 /* PBLKLEN for boot processor */
+ ) {
+ #include "acpi/cpstate.asl"
+ }
+
+ Processor(
+ CPU5, /* name space name */
+ 5, /* Unique number for this processor */
+ 0x0000, /* PBLK system I/O address !hardcoded! */
+ 0x00 /* PBLKLEN for boot processor */
+ ) {
+ #include "acpi/cpstate.asl"
+ }
} /* End _PR scope */
/* PIC IRQ mapping registers, C00h-C01h. */