K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2004-02-06T20:38:39.000000Z
K 7
svn:log
V 383
Remove the badsw* INVARIANTS checks.  The events that this attempts
to catch are already nicely caught by trapping the null pointer derefs.
Remove no-longer-used noswitch/nothrow strings.  They were referenced
by the stub cpu_switch() etc functions before they were implemented.
Try something a little different for the lock prefixes.

Prompted by:  bde (the first two items anyway)

END