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.
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)

jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase