iosapic_register_platform_intr   94 arch/ia64/include/asm/iosapic.h extern int __init iosapic_register_platform_intr (u32 int_type,
iosapic_register_platform_intr  174 arch/ia64/kernel/acpi.c 	vector = iosapic_register_platform_intr(plintsrc->type,