diff options
author | Jorge Ramirez-Ortiz <jorge.ramirez-ortiz@linaro.org> | 2019-07-18 14:45:33 +0200 |
---|---|---|
committer | Jorge Ramirez-Ortiz <jorge.ramirez-ortiz@linaro.org> | 2019-07-25 11:46:50 +0200 |
commit | 261606191ae36719703abd5c7e26ff78acd65978 (patch) | |
tree | e25fdd342450e9edc10f06b89adf1639f4df531a /inc/AEEStdErr.h | |
parent | ff572c1288fb0b39b512b66343cdbc6e6390e98d (diff) |
apps_user: protect domain deinit with mutex
Signed-off-by: Jorge Ramirez-Ortiz <jorge.ramirez-ortiz@linaro.org>
Diffstat (limited to 'inc/AEEStdErr.h')
0 files changed, 0 insertions, 0 deletions