Symbol: acpi_sema_t