ACPI_HEST_TYPE_IA32_CORRECTED_CHECK
if (hest_hdr->type != ACPI_HEST_TYPE_IA32_CORRECTED_CHECK)
[ACPI_HEST_TYPE_IA32_CORRECTED_CHECK] = -1,
if (hest_type == ACPI_HEST_TYPE_IA32_CORRECTED_CHECK) {