ia64_dump_cpu_regs   31 arch/ia64/kernel/crash.c extern void ia64_dump_cpu_regs(void *);
ia64_dump_cpu_regs   48 arch/ia64/kernel/crash.c 	ia64_dump_cpu_regs(dst);