From: "Eduardo F. J. de Castro" <[EMAIL PROTECTED]> 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?

