- Add in PROC_LOCK() and PROC_UNLOCK() macros.  For now these do simple   mutex operations.  In the future they may call functions that verify   correct locking order between processes in the INVARIANTS case. - Lock the process in PHOLD() and PREL().
- Add in PROC_LOCK() and PROC_UNLOCK() macros.  For now these do simple
  mutex operations.  In the future they may call functions that verify
  correct locking order between processes in the INVARIANTS case.
- Lock the process in PHOLD() and PREL().

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