{
{  The purpose of this procedure is to check for a valid taskid.
{  Depending on the option selected, this module either halts the
{  system or returns the status in case an error condition is
{  encountered.
{  The callers of this procedure MUST set the ptl lock.  Callers
{  outside of the 'TM' decks should use TMP$CHECK_TASKID, which
{  does the ptl lock management.
{
{    TMP$CHECK_TASKID_WITH_LOCK_SET (TASKID, OPTION, STATUS)
{
{  TASKID: (INPUT) This parameter specifies the taskid.
{
{  OPTION: (INPUT) This parameter specifies the option to
{                  halt the system or to return an error status.
{
{  STATUS: (OUTPUT) This parameter specifies the error status.
{
