acpimadt_cfg_intr   56 dev/acpi/acpimadt.c void acpimadt_cfg_intr(int, u_int32_t *);
acpimadt_cfg_intr  252 dev/acpi/acpimadt.c 			acpimadt_cfg_intr(entry->madt_override.flags, &map->redir);
acpimadt_cfg_intr  278 dev/acpi/acpimadt.c 			acpimadt_cfg_intr(entry->madt_lapic_nmi.flags, &map->redir);