Symbol: ACPI_SAR_PROFILE_NUM