ACPI_MADT_ENABLED
(ACPI_MADT_ENABLED | ACPI_MADT_GICC_ONLINE_CAPABLE))) {
if (processor->flags & ACPI_MADT_ENABLED)
if (!(processor->flags & ACPI_MADT_ENABLED))
if (!(rintc->flags & ACPI_MADT_ENABLED))
if (!(processor->flags & ACPI_MADT_ENABLED))
if (lapic_flags & ACPI_MADT_ENABLED)
enabled = processor->lapic_flags & ACPI_MADT_ENABLED;
processor->lapic_flags & ACPI_MADT_ENABLED);
processor->lapic_flags & ACPI_MADT_ENABLED);
if (!(rintc->flags & ACPI_MADT_ENABLED))
if (!(core_pic->flags & ACPI_MADT_ENABLED))
if (!(lapic->lapic_flags & ACPI_MADT_ENABLED))
if (!(apic->lapic_flags & ACPI_MADT_ENABLED))
if (!(lsapic->lapic_flags & ACPI_MADT_ENABLED))
(ACPI_MADT_ENABLED | ACPI_MADT_GICC_ONLINE_CAPABLE)))
str_enabled_disabled(p->lapic_flags & ACPI_MADT_ENABLED));
str_enabled_disabled(p->flags & ACPI_MADT_ENABLED));
str_enabled_disabled(p->flags & ACPI_MADT_ENABLED));
str_enabled_disabled(p->flags & ACPI_MADT_ENABLED));
str_enabled_disabled(p->lapic_flags & ACPI_MADT_ENABLED));
str_enabled_disabled(p->lapic_flags & ACPI_MADT_ENABLED));
if (!(gicc->flags & (ACPI_MADT_ENABLED | ACPI_MADT_GICC_ONLINE_CAPABLE)))
if (!(gicc->flags & ACPI_MADT_ENABLED)) {
if (gicc->flags & ACPI_MADT_ENABLED && gicc->gicr_base_address)
(ACPI_MADT_ENABLED | ACPI_MADT_GICC_ONLINE_CAPABLE)))
if (!(gicc->flags & (ACPI_MADT_ENABLED | ACPI_MADT_GICC_ONLINE_CAPABLE)))