skip_madt         623 arch/ia64/kernel/acpi.c 		goto skip_madt;
skip_madt         660 arch/ia64/kernel/acpi.c       skip_madt: