mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-05-13 15:24:05 +02:00
Although this can only be read in a situation where threads should have already stopped, best to fix this as its public. Signed-off-by: Paul Elliott <paul.elliott@arm.com>