|
@@ -46,13 +46,7 @@ static int xen_acpi_processor_enable(struct acpi_device *device)
|
|
|
unsigned long long value;
|
|
|
union acpi_object object = { 0 };
|
|
|
struct acpi_buffer buffer = { sizeof(union acpi_object), &object };
|
|
|
- struct acpi_processor *pr;
|
|
|
-
|
|
|
- pr = acpi_driver_data(device);
|
|
|
- if (!pr) {
|
|
|
- pr_err(PREFIX "Cannot find driver data\n");
|
|
|
- return -EINVAL;
|
|
|
- }
|
|
|
+ struct acpi_processor *pr = acpi_driver_data(device);
|
|
|
|
|
|
if (!strcmp(acpi_device_hid(device), ACPI_PROCESSOR_OBJECT_HID)) {
|
|
|
/* Declared with "Processor" statement; match ProcessorID */
|