Symbol: opregion_acpi