ACPI_PROCESSOR_DEVICE_HID   14 include/acpi/processor.h #define ACPI_PROCESSOR_DEVICE_HID	"ACPI0007"
ACPI_PROCESSOR_DEVICE_HID   51 include/xen/acpi.h #define ACPI_PROCESSOR_DEVICE_HID       "ACPI0007"