Symbol: acpi_semaphore