Symbol: ACPI_TRACE_POINT