ACPI_MADT_TYPE_LOCAL_X2APIC_NMI
x2count = acpi_table_parse_madt(ACPI_MADT_TYPE_LOCAL_X2APIC_NMI,
case ACPI_MADT_TYPE_LOCAL_X2APIC_NMI: