Symbol: acpi_batcount