acpi_processor_osc
ACPI_UINT32_MAX, acpi_processor_osc, NULL,
status = acpi_get_devices(ACPI_PROCESSOR_DEVICE_HID, acpi_processor_osc,