AoU: ETAS_RTACAR_SM_OS_181
**************************

This AoU checks that no OS API calls are made within a critical section protected by DisableAllInterrupts()/EnableAllInterrupts(),
according to the ETAS_RTACAR_SM_OS_181 requirement and ISO 17356.


.. include:: restricted_os_regions_common_rationale.rst


The tool analyzes the code to:

  - Detect the boundaries of Disable/EnableAllInterrupts critical sections.
  - Check that no OS API calls are made within these sections.
  - Report issues if forbidden calls to OS APIs are found.
  - Report warnings, as a result indicating human review need, if section identification is not possible due to conditional statements, tool limitations, or the call graph contains unsupported function calls (ie. call by pointer).


.. important:: supported region delimiters

   The tool detects the start of a critical region when a call to the **Os_DisableAllInterrupts()** function is made. 
   The end of the critical region is detected when a corresponding call to **Os_EnableAllInterrupts()** is made.


.. include:: ../rules/ETAS_RTACAR_SM_OS_181.rst