"Michael L. Hitch" wrote:

>  db> machine tlb
> > TLB  0 Hi 0xc4db4000 Lo0=0x03b52000 DG attr 3 Lo1=0x03b51000 DG attr 3 sz=0
> ...
> > TLB 21 Hi 0xc48fa002 Lo0=0x00507000 DG attr 3 Lo1=0x00498000 DG attr 3 sz=0
> 
>   This looks a little odd to me, but it might just be that I've forgotten
> how this stuff works.  The KSP at the time of the exception is 0xc48fbf78,
> which is mapped by the entry in TLB 21.  The last I knew, the kernel stack
> should be the address mapped by the wired TLB 0 entry.

Yes, it should be in either 0 or 1 (soon 0!).  It needs to be wired so
nested interrupts/exceptions can work!

As you said clearly, getting the EPC info is key.  Otherwise it's
mostly shooting in the dark.

jeffs