K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2003-05-20T20:50:33.000000Z
K 7
svn:log
V 387
The per-CPU spinlocks list is only maintained when WITNESS is enabled.
Thus, treat all page faults while in a critical section as fatal rather
than just those that occur with a non-empty spinlocks list.  All such page
faults are fatal anyways.  Calling trap_fatal() earlier increases the
chances of getting more useful panic messages and a possible DDB prompt.

Approved by:	re (scottl)

END