acpi_map_iosapic  875 arch/ia64/kernel/acpi.c 	acpi_get_devices(NULL, acpi_map_iosapic, NULL, NULL);
acpi_map_iosapic  890 arch/ia64/kernel/acpi.c 	acpi_map_iosapic(handle, 0, NULL, NULL);