ACPI_FADT_C2_MP_SUPPORTED
!(acpi_gbl_FADT.flags & ACPI_FADT_C2_MP_SUPPORTED))
!(acpi_gbl_FADT.flags & ACPI_FADT_C2_MP_SUPPORTED);