From: "Eduardo F. J. de Castro" <jucah@cpqd.com.br> Date: Fri, 11 Oct 2002 15:46:58 -0300 ERROR(0): TPC[000000000052de80] TNPC[000000000052de84] TSTATE[0000000080009604] ... Please, could you give us a hint? Where is 0x52de80 in the System.map file for this kernel?