ACPI_MADT_TYPE_NMI_SOURCE
count = acpi_table_parse_madt(ACPI_MADT_TYPE_NMI_SOURCE,
case ACPI_MADT_TYPE_NMI_SOURCE: