taglinefilesource code
eagle_id55arch/ppc/kernel/traps.cunsigned long *eagle_id = (unsigned long *)0x80000CFC;
eagle_id59arch/ppc/kernel/traps.cprintk("Error regs = %08X", *eagle_id);
eagle_id61arch/ppc/kernel/traps.cprintk("/%08X", *eagle_id);
eagle_id63arch/ppc/kernel/traps.cprintk("/%08X\n", *eagle_id);