madt_parse_nmi
madt_parse_nmi((ACPI_MADT_NMI_SOURCE *)entry);
static void madt_parse_nmi(ACPI_MADT_NMI_SOURCE *nmi);