ACPI_SRAT_GICC_ENABLED
if (!(pa->flags & ACPI_SRAT_GICC_ENABLED))
str_enabled_disabled(p->flags & ACPI_SRAT_GICC_ENABLED));