tree d784d2976b7b386a73e52c5444ae88518509985c
parent d6ee36ed04862463f0a3a656492fb56f2fa71fae
parent b15832160b220124af8d8a29336ff2b5520e5bd6
author Gilles Peskine <gilles.peskine@arm.com> 1614089683 +0100
committer GitHub <noreply@github.com> 1614089683 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgNQ3TCRBK7hj4Ov3rIwAAdHIIABkgP1OiK3IuX31XTcScZj6d
 EN3sdqqQT8+PJYeDn8/nbxxx2kkBDPQJ57ubB7gHH6dOJPuxwc/seMJSRwdJX67V
 7S1bYSpXnqNB0PuuNc4tkhFonNDk1TKVSO/i6Iu/3xDb2dJTqBN1dOOYOEMiKKod
 YwQPQwu3jdWaryFWcwE+/lx5peOUrr4SG9XK8FIJZErYovxD8dd7kopT20d7U8ZX
 kJ0sl/7vuACE4cn5ze3uPqIH941HvzbGvdfSwcZ7rOy3q9mWCtG/VJF4Es4H25iU
 d88ZjeUtStLcrxKvJ1QaJ9LZTEi3cIpIe+Hi5FJsH+P/w06ysXlYIxFeM6PIjas=
 =HoeH
 -----END PGP SIGNATURE-----
 

Merge pull request #4104 from gilles-peskine-arm/test-mutex-usage-count-development

Test and fix mutex usage