How to verify that HAL drivers use atomic read modify write operations for multiple instance support?
Do the low-level code call STREX LDREX instructions?
Does the time-out mechanism used to follow the rules of RTOS, for instance, will the timeout mechanism in the APIs of HAL drivers cause the calling task to enter a blocked state until the timeout period expires?
Note: Above question is in reference to the document UM1725 User manual Description of STM32F4 HAL and LL drivers
Please explain and if possible give the references to the standard documents.