sat/src/smsat.c

696     tdsmSingleThreadedLeave(smRoot, SM_EXTERNAL_IO_LOCK);
704   tdsmSingleThreadedLeave(smRoot, SM_EXTERNAL_IO_LOCK);
1036   tdsmSingleThreadedLeave(smRoot, SM_EXTERNAL_IO_LOCK);
1478     tdsmSingleThreadedLeave(smRoot, SM_EXTERNAL_IO_LOCK);
1541   tdsmSingleThreadedLeave(smRoot, SM_INTERNAL_IO_LOCK);
1572     tdsmSingleThreadedLeave(smRoot, SM_INTERNAL_IO_LOCK);
1579     tdsmSingleThreadedLeave(smRoot, SM_INTERNAL_IO_LOCK);
1590   tdsmSingleThreadedLeave(smRoot, SM_INTERNAL_IO_LOCK);
1597   tdsmSingleThreadedLeave(smRoot, SM_INTERNAL_IO_LOCK);
1639     tdsmSingleThreadedLeave(smRoot, SM_INTERNAL_IO_LOCK);
1671       tdsmSingleThreadedLeave(smRoot, SM_INTERNAL_IO_LOCK);
1813       tdsmSingleThreadedLeave(smRoot, SM_DEVICE_LOCK);
1820     tdsmSingleThreadedLeave(smRoot, SM_DEVICE_LOCK);
1843     tdsmSingleThreadedLeave(smRoot, SM_DEVICE_LOCK);
1904       tdsmSingleThreadedLeave(smRoot, SM_DEVICE_LOCK);
1933     tdsmSingleThreadedLeave(smRoot, SM_DEVICE_LOCK);
1938     tdsmSingleThreadedLeave(smRoot, SM_DEVICE_LOCK);
20181   tdsmSingleThreadedLeave(smRoot, SM_NCQ_TAG_LOCK);
20199     tdsmSingleThreadedLeave(smRoot, SM_NCQ_TAG_LOCK);