ASL_COMPILER_NAME
UtilityName = ASL_COMPILER_NAME;
printf (ACPI_COMMON_SIGNON (ASL_COMPILER_NAME));
printf (ACPI_COMMON_SIGNON (ASL_COMPILER_NAME));
printf (ACPI_COMMON_SIGNON (ASL_COMPILER_NAME));
printf (ACPI_COMMON_SIGNON (ASL_COMPILER_NAME));
ASL_COMPILER_NAME, (UINT32) ACPI_CA_VERSION, ACPI_DATE);