Subject: Re: Debugging / SPL-levels / AT91RM9200 success
To: None <port-arm@netbsd.org>
From: Todd Allan <todd_allan@picovex.com>
List: port-arm
Date: 03/05/2007 17:52:58
Sami Kantoluoto wrote:

> So I'm wondering
> if there's a good way to verify the SPL levels are working correctly etc.

At one point I hacked our code to instrument the spl* calls, keeping
track of SPL raises and lowers and file/line #s of callers, such that
the longest- duration SPL raise intervals could be dumped by cat'ing a
device file.  It was useful for debugging some problems, but not real
pretty.


TAllan