Symbol: acpi_statistics